ia64/kvm: compilation fix. export account_system_vtime.
[pv_ops_mirror.git] / arch / ia64 / configs / xen_domu_wip_defconfig
blob27b7d075b71ea0160f894e20592cc5aab90d337f
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.25
4 # Wed Apr 30 16:00:26 2008
6 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
9 # General setup
11 CONFIG_EXPERIMENTAL=y
12 CONFIG_LOCK_KERNEL=y
13 CONFIG_INIT_ENV_ARG_LIMIT=32
14 CONFIG_LOCALVERSION="xen-ia64"
15 CONFIG_LOCALVERSION_AUTO=y
16 CONFIG_SWAP=y
17 CONFIG_SYSVIPC=y
18 CONFIG_SYSVIPC_SYSCTL=y
19 CONFIG_POSIX_MQUEUE=y
20 CONFIG_BSD_PROCESS_ACCT=y
21 # CONFIG_BSD_PROCESS_ACCT_V3 is not set
22 # CONFIG_TASKSTATS is not set
23 CONFIG_AUDIT=y
24 CONFIG_AUDITSYSCALL=y
25 CONFIG_IKCONFIG=y
26 CONFIG_IKCONFIG_PROC=y
27 CONFIG_LOG_BUF_SHIFT=20
28 # CONFIG_CGROUPS is not set
29 # CONFIG_GROUP_SCHED is not set
30 CONFIG_SYSFS_DEPRECATED=y
31 CONFIG_SYSFS_DEPRECATED_V2=y
32 # CONFIG_RELAY is not set
33 CONFIG_NAMESPACES=y
34 # CONFIG_UTS_NS is not set
35 # CONFIG_IPC_NS is not set
36 # CONFIG_USER_NS is not set
37 # CONFIG_PID_NS is not set
38 CONFIG_BLK_DEV_INITRD=y
39 CONFIG_INITRAMFS_SOURCE=""
40 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
41 CONFIG_SYSCTL=y
42 # CONFIG_EMBEDDED is not set
43 CONFIG_SYSCTL_SYSCALL=y
44 CONFIG_SYSCTL_SYSCALL_CHECK=y
45 CONFIG_KALLSYMS=y
46 CONFIG_KALLSYMS_ALL=y
47 CONFIG_KALLSYMS_EXTRA_PASS=y
48 CONFIG_HOTPLUG=y
49 CONFIG_PRINTK=y
50 CONFIG_BUG=y
51 CONFIG_ELF_CORE=y
52 CONFIG_COMPAT_BRK=y
53 CONFIG_BASE_FULL=y
54 CONFIG_FUTEX=y
55 CONFIG_ANON_INODES=y
56 CONFIG_EPOLL=y
57 CONFIG_SIGNALFD=y
58 CONFIG_TIMERFD=y
59 CONFIG_EVENTFD=y
60 CONFIG_SHMEM=y
61 CONFIG_VM_EVENT_COUNTERS=y
62 CONFIG_SLAB=y
63 # CONFIG_SLUB is not set
64 # CONFIG_SLOB is not set
65 # CONFIG_PROFILING is not set
66 # CONFIG_MARKERS is not set
67 CONFIG_HAVE_OPROFILE=y
68 # CONFIG_KPROBES is not set
69 CONFIG_HAVE_KPROBES=y
70 CONFIG_HAVE_KRETPROBES=y
71 CONFIG_HAVE_DMA_ATTRS=y
72 CONFIG_PROC_PAGE_MONITOR=y
73 CONFIG_SLABINFO=y
74 CONFIG_RT_MUTEXES=y
75 # CONFIG_TINY_SHMEM is not set
76 CONFIG_BASE_SMALL=0
77 CONFIG_MODULES=y
78 CONFIG_MODULE_UNLOAD=y
79 # CONFIG_MODULE_FORCE_UNLOAD is not set
80 CONFIG_MODVERSIONS=y
81 CONFIG_MODULE_SRCVERSION_ALL=y
82 CONFIG_KMOD=y
83 CONFIG_STOP_MACHINE=y
84 CONFIG_BLOCK=y
85 # CONFIG_BLK_DEV_IO_TRACE is not set
86 # CONFIG_BLK_DEV_BSG is not set
89 # IO Schedulers
91 CONFIG_IOSCHED_NOOP=y
92 # CONFIG_IOSCHED_AS is not set
93 # CONFIG_IOSCHED_DEADLINE is not set
94 # CONFIG_IOSCHED_CFQ is not set
95 # CONFIG_DEFAULT_AS is not set
96 # CONFIG_DEFAULT_DEADLINE is not set
97 # CONFIG_DEFAULT_CFQ is not set
98 CONFIG_DEFAULT_NOOP=y
99 CONFIG_DEFAULT_IOSCHED="noop"
100 CONFIG_PREEMPT_NOTIFIERS=y
101 CONFIG_CLASSIC_RCU=y
104 # Processor type and features
106 CONFIG_IA64=y
107 CONFIG_64BIT=y
108 CONFIG_ZONE_DMA=y
109 CONFIG_QUICKLIST=y
110 CONFIG_MMU=y
111 CONFIG_SWIOTLB=y
112 CONFIG_IOMMU_HELPER=y
113 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
114 # CONFIG_ARCH_HAS_ILOG2_U32 is not set
115 # CONFIG_ARCH_HAS_ILOG2_U64 is not set
116 CONFIG_GENERIC_FIND_NEXT_BIT=y
117 CONFIG_GENERIC_CALIBRATE_DELAY=y
118 CONFIG_GENERIC_TIME=y
119 CONFIG_GENERIC_TIME_VSYSCALL=y
120 CONFIG_HAVE_SETUP_PER_CPU_AREA=y
121 CONFIG_DMI=y
122 CONFIG_EFI=y
123 CONFIG_GENERIC_IOMAP=y
124 CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
125 CONFIG_AUDIT_ARCH=y
126 CONFIG_PARAVIRT_GUEST=y
127 CONFIG_PARAVIRT=y
128 CONFIG_XEN=y
129 CONFIG_XEN_XENCOMM=y
130 CONFIG_NO_IDLE_HZ=y
131 CONFIG_IA64_GENERIC=y
132 # CONFIG_IA64_DIG is not set
133 # CONFIG_IA64_HP_ZX1 is not set
134 # CONFIG_IA64_HP_ZX1_SWIOTLB is not set
135 # CONFIG_IA64_SGI_SN2 is not set
136 # CONFIG_IA64_HP_SIM is not set
137 # CONFIG_IA64_XEN is not set
138 # CONFIG_ITANIUM is not set
139 CONFIG_MCKINLEY=y
140 # CONFIG_IA64_PAGE_SIZE_4KB is not set
141 # CONFIG_IA64_PAGE_SIZE_8KB is not set
142 CONFIG_IA64_PAGE_SIZE_16KB=y
143 # CONFIG_IA64_PAGE_SIZE_64KB is not set
144 CONFIG_PGTABLE_3=y
145 # CONFIG_PGTABLE_4 is not set
146 CONFIG_HZ=100
147 CONFIG_HZ_100=y
148 # CONFIG_HZ_250 is not set
149 # CONFIG_HZ_300 is not set
150 # CONFIG_HZ_1000 is not set
151 # CONFIG_SCHED_HRTICK is not set
152 CONFIG_IA64_L1_CACHE_SHIFT=7
153 # CONFIG_IA64_CYCLONE is not set
154 CONFIG_IOSAPIC=y
155 CONFIG_FORCE_MAX_ZONEORDER=11
156 CONFIG_VIRT_CPU_ACCOUNTING=y
157 CONFIG_SMP=y
158 CONFIG_NR_CPUS=16
159 CONFIG_HOTPLUG_CPU=y
160 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
161 CONFIG_ARCH_ENABLE_MEMORY_HOTREMOVE=y
162 # CONFIG_SCHED_SMT is not set
163 # CONFIG_PERMIT_BSP_REMOVE is not set
164 CONFIG_PREEMPT_NONE=y
165 # CONFIG_PREEMPT_VOLUNTARY is not set
166 # CONFIG_PREEMPT is not set
167 CONFIG_SELECT_MEMORY_MODEL=y
168 # CONFIG_FLATMEM_MANUAL is not set
169 CONFIG_DISCONTIGMEM_MANUAL=y
170 # CONFIG_SPARSEMEM_MANUAL is not set
171 CONFIG_DISCONTIGMEM=y
172 CONFIG_FLAT_NODE_MEM_MAP=y
173 CONFIG_NEED_MULTIPLE_NODES=y
174 # CONFIG_SPARSEMEM_STATIC is not set
175 CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
176 CONFIG_PAGEFLAGS_EXTENDED=y
177 CONFIG_SPLIT_PTLOCK_CPUS=4
178 # CONFIG_MIGRATION is not set
179 CONFIG_RESOURCES_64BIT=y
180 CONFIG_ZONE_DMA_FLAG=1
181 CONFIG_BOUNCE=y
182 CONFIG_NR_QUICK=1
183 CONFIG_VIRT_TO_BUS=y
184 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
185 CONFIG_ARCH_DISCONTIGMEM_ENABLE=y
186 CONFIG_ARCH_FLATMEM_ENABLE=y
187 CONFIG_ARCH_SPARSEMEM_ENABLE=y
188 CONFIG_ARCH_DISCONTIGMEM_DEFAULT=y
189 CONFIG_NUMA=y
190 CONFIG_NODES_SHIFT=10
191 CONFIG_ARCH_POPULATES_NODE_MAP=y
192 CONFIG_VIRTUAL_MEM_MAP=y
193 CONFIG_HOLES_IN_ZONE=y
194 CONFIG_HAVE_ARCH_EARLY_PFN_TO_NID=y
195 CONFIG_HAVE_ARCH_NODEDATA_EXTENSION=y
196 # CONFIG_IA32_SUPPORT is not set
197 # CONFIG_COMPAT_FOR_U64_ALIGNMENT is not set
198 CONFIG_IA64_MCA_RECOVERY=y
199 # CONFIG_PERFMON is not set
200 CONFIG_IA64_PALINFO=y
201 # CONFIG_IA64_MC_ERR_INJECT is not set
202 CONFIG_SGI_SN=y
203 # CONFIG_IA64_ESI is not set
204 # CONFIG_IA64_HP_AML_NFW is not set
207 # SN Devices
209 # CONFIG_SGI_IOC3 is not set
210 # CONFIG_KEXEC is not set
211 # CONFIG_CRASH_DUMP is not set
214 # Firmware Drivers
216 CONFIG_EFI_VARS=y
217 CONFIG_EFI_PCDP=y
218 # CONFIG_DMIID is not set
219 CONFIG_BINFMT_ELF=y
220 CONFIG_BINFMT_MISC=y
223 # Power management and ACPI
225 CONFIG_PM=y
226 # CONFIG_PM_LEGACY is not set
227 # CONFIG_PM_DEBUG is not set
228 CONFIG_ACPI=y
229 # CONFIG_ACPI_PROCFS is not set
230 # CONFIG_ACPI_PROCFS_POWER is not set
231 # CONFIG_ACPI_SYSFS_POWER is not set
232 # CONFIG_ACPI_PROC_EVENT is not set
233 # CONFIG_ACPI_BUTTON is not set
234 # CONFIG_ACPI_FAN is not set
235 # CONFIG_ACPI_DOCK is not set
236 # CONFIG_ACPI_PROCESSOR is not set
237 CONFIG_ACPI_NUMA=y
238 # CONFIG_ACPI_CUSTOM_DSDT is not set
239 CONFIG_ACPI_BLACKLIST_YEAR=0
240 # CONFIG_ACPI_DEBUG is not set
241 CONFIG_ACPI_EC=y
242 CONFIG_ACPI_POWER=y
243 CONFIG_ACPI_SYSTEM=y
244 # CONFIG_ACPI_CONTAINER is not set
247 # CPU Frequency scaling
249 # CONFIG_CPU_FREQ is not set
252 # Bus options (PCI, PCMCIA)
254 CONFIG_PCI=y
255 CONFIG_PCI_DOMAINS=y
256 CONFIG_PCI_SYSCALL=y
257 # CONFIG_PCIEPORTBUS is not set
258 CONFIG_ARCH_SUPPORTS_MSI=y
259 # CONFIG_PCI_MSI is not set
260 # CONFIG_PCI_LEGACY is not set
261 # CONFIG_PCI_DEBUG is not set
262 # CONFIG_HOTPLUG_PCI is not set
263 # CONFIG_PCCARD is not set
266 # Networking
268 CONFIG_NET=y
271 # Networking options
273 CONFIG_PACKET=y
274 # CONFIG_PACKET_MMAP is not set
275 CONFIG_UNIX=y
276 # CONFIG_NET_KEY is not set
277 CONFIG_INET=y
278 CONFIG_IP_MULTICAST=y
279 # CONFIG_IP_ADVANCED_ROUTER is not set
280 CONFIG_IP_FIB_HASH=y
281 # CONFIG_IP_PNP is not set
282 # CONFIG_NET_IPIP is not set
283 # CONFIG_NET_IPGRE is not set
284 # CONFIG_IP_MROUTE is not set
285 CONFIG_ARPD=y
286 CONFIG_SYN_COOKIES=y
287 # CONFIG_INET_AH is not set
288 # CONFIG_INET_ESP is not set
289 # CONFIG_INET_IPCOMP is not set
290 # CONFIG_INET_XFRM_TUNNEL is not set
291 # CONFIG_INET_TUNNEL is not set
292 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
293 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
294 # CONFIG_INET_XFRM_MODE_BEET is not set
295 # CONFIG_INET_LRO is not set
296 CONFIG_INET_DIAG=y
297 CONFIG_INET_TCP_DIAG=y
298 # CONFIG_TCP_CONG_ADVANCED is not set
299 CONFIG_TCP_CONG_CUBIC=y
300 CONFIG_DEFAULT_TCP_CONG="cubic"
301 # CONFIG_TCP_MD5SIG is not set
302 # CONFIG_IP_VS is not set
303 # CONFIG_IPV6 is not set
304 # CONFIG_NETWORK_SECMARK is not set
305 CONFIG_NETFILTER=y
306 # CONFIG_NETFILTER_DEBUG is not set
307 # CONFIG_NETFILTER_ADVANCED is not set
310 # Core Netfilter Configuration
312 # CONFIG_NETFILTER_NETLINK_LOG is not set
313 # CONFIG_NF_CONNTRACK is not set
314 # CONFIG_NETFILTER_XTABLES is not set
317 # IP: Netfilter Configuration
319 # CONFIG_IP_NF_IPTABLES is not set
320 # CONFIG_IP_DCCP is not set
321 # CONFIG_IP_SCTP is not set
322 # CONFIG_TIPC is not set
323 # CONFIG_ATM is not set
324 CONFIG_BRIDGE=y
325 # CONFIG_VLAN_8021Q is not set
326 # CONFIG_DECNET is not set
327 CONFIG_LLC=y
328 # CONFIG_LLC2 is not set
329 # CONFIG_IPX is not set
330 # CONFIG_ATALK is not set
331 # CONFIG_X25 is not set
332 # CONFIG_LAPB is not set
333 # CONFIG_ECONET is not set
334 # CONFIG_WAN_ROUTER is not set
335 # CONFIG_NET_SCHED is not set
338 # Network testing
340 # CONFIG_NET_PKTGEN is not set
341 # CONFIG_HAMRADIO is not set
342 # CONFIG_CAN is not set
343 # CONFIG_IRDA is not set
344 # CONFIG_BT is not set
345 # CONFIG_AF_RXRPC is not set
348 # Wireless
350 # CONFIG_CFG80211 is not set
351 # CONFIG_WIRELESS_EXT is not set
352 # CONFIG_MAC80211 is not set
353 # CONFIG_IEEE80211 is not set
354 # CONFIG_RFKILL is not set
355 # CONFIG_NET_9P is not set
358 # Device Drivers
362 # Generic Driver Options
364 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
365 CONFIG_STANDALONE=y
366 CONFIG_PREVENT_FIRMWARE_BUILD=y
367 CONFIG_FW_LOADER=y
368 # CONFIG_DEBUG_DRIVER is not set
369 # CONFIG_DEBUG_DEVRES is not set
370 # CONFIG_SYS_HYPERVISOR is not set
371 # CONFIG_CONNECTOR is not set
372 # CONFIG_MTD is not set
373 # CONFIG_PARPORT is not set
374 CONFIG_PNP=y
375 # CONFIG_PNP_DEBUG is not set
378 # Protocols
380 CONFIG_PNPACPI=y
381 CONFIG_BLK_DEV=y
382 # CONFIG_BLK_CPQ_DA is not set
383 # CONFIG_BLK_CPQ_CISS_DA is not set
384 # CONFIG_BLK_DEV_DAC960 is not set
385 # CONFIG_BLK_DEV_UMEM is not set
386 # CONFIG_BLK_DEV_COW_COMMON is not set
387 CONFIG_BLK_DEV_LOOP=y
388 CONFIG_BLK_DEV_CRYPTOLOOP=y
389 # CONFIG_BLK_DEV_NBD is not set
390 # CONFIG_BLK_DEV_SX8 is not set
391 CONFIG_BLK_DEV_RAM=y
392 CONFIG_BLK_DEV_RAM_COUNT=16
393 CONFIG_BLK_DEV_RAM_SIZE=4096
394 # CONFIG_BLK_DEV_XIP is not set
395 # CONFIG_CDROM_PKTCDVD is not set
396 # CONFIG_ATA_OVER_ETH is not set
397 CONFIG_XEN_BLKDEV_FRONTEND=y
398 # CONFIG_MISC_DEVICES is not set
399 CONFIG_HAVE_IDE=y
400 # CONFIG_IDE is not set
403 # SCSI device support
405 # CONFIG_RAID_ATTRS is not set
406 # CONFIG_SCSI is not set
407 # CONFIG_SCSI_DMA is not set
408 # CONFIG_SCSI_NETLINK is not set
409 # CONFIG_ATA is not set
410 # CONFIG_MD is not set
411 # CONFIG_FUSION is not set
414 # IEEE 1394 (FireWire) support
416 # CONFIG_FIREWIRE is not set
417 # CONFIG_IEEE1394 is not set
418 # CONFIG_I2O is not set
419 CONFIG_NETDEVICES=y
420 # CONFIG_NETDEVICES_MULTIQUEUE is not set
421 CONFIG_DUMMY=y
422 # CONFIG_BONDING is not set
423 # CONFIG_MACVLAN is not set
424 # CONFIG_EQUALIZER is not set
425 CONFIG_TUN=y
426 # CONFIG_VETH is not set
427 # CONFIG_NET_SB1000 is not set
428 # CONFIG_ARCNET is not set
429 # CONFIG_NET_ETHERNET is not set
430 # CONFIG_NETDEV_1000 is not set
431 # CONFIG_NETDEV_10000 is not set
432 # CONFIG_TR is not set
435 # Wireless LAN
437 # CONFIG_WLAN_PRE80211 is not set
438 # CONFIG_WLAN_80211 is not set
439 # CONFIG_IWLWIFI is not set
440 # CONFIG_IWLWIFI_LEDS is not set
441 # CONFIG_WAN is not set
442 CONFIG_XEN_NETDEV_FRONTEND=y
443 # CONFIG_FDDI is not set
444 # CONFIG_HIPPI is not set
445 # CONFIG_PPP is not set
446 # CONFIG_SLIP is not set
447 # CONFIG_NETCONSOLE is not set
448 # CONFIG_NETPOLL is not set
449 # CONFIG_NET_POLL_CONTROLLER is not set
450 # CONFIG_ISDN is not set
451 # CONFIG_PHONE is not set
454 # Input device support
456 CONFIG_INPUT=y
457 # CONFIG_INPUT_FF_MEMLESS is not set
458 # CONFIG_INPUT_POLLDEV is not set
461 # Userland interfaces
463 CONFIG_INPUT_MOUSEDEV=y
464 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
465 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
466 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
467 # CONFIG_INPUT_JOYDEV is not set
468 # CONFIG_INPUT_EVDEV is not set
469 # CONFIG_INPUT_EVBUG is not set
472 # Input Device Drivers
474 # CONFIG_INPUT_KEYBOARD is not set
475 # CONFIG_INPUT_MOUSE is not set
476 # CONFIG_INPUT_JOYSTICK is not set
477 # CONFIG_INPUT_TABLET is not set
478 # CONFIG_INPUT_TOUCHSCREEN is not set
479 # CONFIG_INPUT_MISC is not set
482 # Hardware I/O ports
484 # CONFIG_SERIO is not set
485 # CONFIG_GAMEPORT is not set
488 # Character devices
490 CONFIG_VT=y
491 CONFIG_VT_CONSOLE=y
492 CONFIG_HW_CONSOLE=y
493 # CONFIG_VT_HW_CONSOLE_BINDING is not set
494 CONFIG_DEVKMEM=y
495 # CONFIG_SERIAL_NONSTANDARD is not set
496 # CONFIG_NOZOMI is not set
497 # CONFIG_SGI_SNSC is not set
498 # CONFIG_SGI_TIOCX is not set
501 # Serial drivers
503 # CONFIG_SERIAL_8250 is not set
506 # Non-8250 serial port support
508 # CONFIG_SERIAL_SGI_L1_CONSOLE is not set
509 # CONFIG_SERIAL_JSM is not set
510 CONFIG_UNIX98_PTYS=y
511 CONFIG_LEGACY_PTYS=y
512 CONFIG_LEGACY_PTY_COUNT=256
513 CONFIG_HVC_DRIVER=y
514 CONFIG_HVC_XEN=y
515 # CONFIG_IPMI_HANDLER is not set
516 # CONFIG_HW_RANDOM is not set
517 CONFIG_EFI_RTC=y
518 # CONFIG_R3964 is not set
519 # CONFIG_APPLICOM is not set
520 # CONFIG_RAW_DRIVER is not set
521 # CONFIG_HPET is not set
522 # CONFIG_HANGCHECK_TIMER is not set
523 # CONFIG_MMTIMER is not set
524 # CONFIG_TCG_TPM is not set
525 CONFIG_DEVPORT=y
526 # CONFIG_I2C is not set
527 # CONFIG_SPI is not set
528 # CONFIG_W1 is not set
529 # CONFIG_POWER_SUPPLY is not set
530 # CONFIG_HWMON is not set
531 # CONFIG_THERMAL is not set
532 # CONFIG_WATCHDOG is not set
535 # Sonics Silicon Backplane
537 CONFIG_SSB_POSSIBLE=y
538 # CONFIG_SSB is not set
541 # Multifunction device drivers
543 # CONFIG_MFD_SM501 is not set
544 # CONFIG_HTC_PASIC3 is not set
547 # Multimedia devices
551 # Multimedia core support
553 # CONFIG_VIDEO_DEV is not set
554 # CONFIG_DVB_CORE is not set
557 # Multimedia drivers
559 # CONFIG_DAB is not set
562 # Graphics support
564 # CONFIG_AGP is not set
565 # CONFIG_DRM is not set
566 # CONFIG_VGASTATE is not set
567 # CONFIG_VIDEO_OUTPUT_CONTROL is not set
568 # CONFIG_FB is not set
569 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
572 # Display device support
574 # CONFIG_DISPLAY_SUPPORT is not set
577 # Console display driver support
579 CONFIG_VGA_CONSOLE=y
580 # CONFIG_VGACON_SOFT_SCROLLBACK is not set
581 CONFIG_DUMMY_CONSOLE=y
584 # Sound
586 # CONFIG_SOUND is not set
587 # CONFIG_HID_SUPPORT is not set
588 # CONFIG_USB_SUPPORT is not set
589 # CONFIG_MMC is not set
590 # CONFIG_MEMSTICK is not set
591 # CONFIG_NEW_LEDS is not set
592 # CONFIG_INFINIBAND is not set
593 # CONFIG_RTC_CLASS is not set
594 # CONFIG_UIO is not set
595 CONFIG_XEN_BALLOON=y
596 CONFIG_XEN_SCRUB_PAGES=y
597 # CONFIG_MSPEC is not set
600 # File systems
602 # CONFIG_EXT2_FS is not set
603 CONFIG_EXT3_FS=y
604 CONFIG_EXT3_FS_XATTR=y
605 CONFIG_EXT3_FS_POSIX_ACL=y
606 CONFIG_EXT3_FS_SECURITY=y
607 # CONFIG_EXT4DEV_FS is not set
608 CONFIG_JBD=y
609 CONFIG_FS_MBCACHE=y
610 # CONFIG_REISERFS_FS is not set
611 # CONFIG_JFS_FS is not set
612 CONFIG_FS_POSIX_ACL=y
613 # CONFIG_XFS_FS is not set
614 # CONFIG_GFS2_FS is not set
615 # CONFIG_OCFS2_FS is not set
616 # CONFIG_DNOTIFY is not set
617 # CONFIG_INOTIFY is not set
618 # CONFIG_QUOTA is not set
619 # CONFIG_AUTOFS_FS is not set
620 # CONFIG_AUTOFS4_FS is not set
621 # CONFIG_FUSE_FS is not set
624 # CD-ROM/DVD Filesystems
626 # CONFIG_ISO9660_FS is not set
627 # CONFIG_UDF_FS is not set
630 # DOS/FAT/NT Filesystems
632 CONFIG_FAT_FS=y
633 CONFIG_MSDOS_FS=y
634 CONFIG_VFAT_FS=y
635 CONFIG_FAT_DEFAULT_CODEPAGE=437
636 CONFIG_FAT_DEFAULT_IOCHARSET="iso8859-1"
637 # CONFIG_NTFS_FS is not set
640 # Pseudo filesystems
642 CONFIG_PROC_FS=y
643 CONFIG_PROC_KCORE=y
644 CONFIG_PROC_SYSCTL=y
645 CONFIG_SYSFS=y
646 CONFIG_TMPFS=y
647 # CONFIG_TMPFS_POSIX_ACL is not set
648 # CONFIG_HUGETLBFS is not set
649 # CONFIG_HUGETLB_PAGE is not set
650 # CONFIG_CONFIGFS_FS is not set
653 # Miscellaneous filesystems
655 # CONFIG_ADFS_FS is not set
656 # CONFIG_AFFS_FS is not set
657 # CONFIG_HFS_FS is not set
658 # CONFIG_HFSPLUS_FS is not set
659 # CONFIG_BEFS_FS is not set
660 # CONFIG_BFS_FS is not set
661 # CONFIG_EFS_FS is not set
662 # CONFIG_CRAMFS is not set
663 # CONFIG_VXFS_FS is not set
664 # CONFIG_MINIX_FS is not set
665 # CONFIG_HPFS_FS is not set
666 # CONFIG_QNX4FS_FS is not set
667 # CONFIG_ROMFS_FS is not set
668 # CONFIG_SYSV_FS is not set
669 # CONFIG_UFS_FS is not set
670 # CONFIG_NETWORK_FILESYSTEMS is not set
673 # Partition Types
675 CONFIG_PARTITION_ADVANCED=y
676 # CONFIG_ACORN_PARTITION is not set
677 # CONFIG_OSF_PARTITION is not set
678 # CONFIG_AMIGA_PARTITION is not set
679 # CONFIG_ATARI_PARTITION is not set
680 # CONFIG_MAC_PARTITION is not set
681 CONFIG_MSDOS_PARTITION=y
682 # CONFIG_BSD_DISKLABEL is not set
683 # CONFIG_MINIX_SUBPARTITION is not set
684 # CONFIG_SOLARIS_X86_PARTITION is not set
685 # CONFIG_UNIXWARE_DISKLABEL is not set
686 # CONFIG_LDM_PARTITION is not set
687 # CONFIG_SGI_PARTITION is not set
688 # CONFIG_ULTRIX_PARTITION is not set
689 # CONFIG_SUN_PARTITION is not set
690 # CONFIG_KARMA_PARTITION is not set
691 CONFIG_EFI_PARTITION=y
692 # CONFIG_SYSV68_PARTITION is not set
693 CONFIG_NLS=y
694 CONFIG_NLS_DEFAULT="iso8859-1"
695 CONFIG_NLS_CODEPAGE_437=y
696 # CONFIG_NLS_CODEPAGE_737 is not set
697 # CONFIG_NLS_CODEPAGE_775 is not set
698 # CONFIG_NLS_CODEPAGE_850 is not set
699 # CONFIG_NLS_CODEPAGE_852 is not set
700 # CONFIG_NLS_CODEPAGE_855 is not set
701 # CONFIG_NLS_CODEPAGE_857 is not set
702 # CONFIG_NLS_CODEPAGE_860 is not set
703 # CONFIG_NLS_CODEPAGE_861 is not set
704 # CONFIG_NLS_CODEPAGE_862 is not set
705 # CONFIG_NLS_CODEPAGE_863 is not set
706 # CONFIG_NLS_CODEPAGE_864 is not set
707 # CONFIG_NLS_CODEPAGE_865 is not set
708 # CONFIG_NLS_CODEPAGE_866 is not set
709 # CONFIG_NLS_CODEPAGE_869 is not set
710 # CONFIG_NLS_CODEPAGE_936 is not set
711 # CONFIG_NLS_CODEPAGE_950 is not set
712 CONFIG_NLS_CODEPAGE_932=y
713 # CONFIG_NLS_CODEPAGE_949 is not set
714 # CONFIG_NLS_CODEPAGE_874 is not set
715 # CONFIG_NLS_ISO8859_8 is not set
716 # CONFIG_NLS_CODEPAGE_1250 is not set
717 # CONFIG_NLS_CODEPAGE_1251 is not set
718 # CONFIG_NLS_ASCII is not set
719 CONFIG_NLS_ISO8859_1=y
720 # CONFIG_NLS_ISO8859_2 is not set
721 # CONFIG_NLS_ISO8859_3 is not set
722 # CONFIG_NLS_ISO8859_4 is not set
723 # CONFIG_NLS_ISO8859_5 is not set
724 # CONFIG_NLS_ISO8859_6 is not set
725 # CONFIG_NLS_ISO8859_7 is not set
726 # CONFIG_NLS_ISO8859_9 is not set
727 # CONFIG_NLS_ISO8859_13 is not set
728 # CONFIG_NLS_ISO8859_14 is not set
729 # CONFIG_NLS_ISO8859_15 is not set
730 # CONFIG_NLS_KOI8_R is not set
731 # CONFIG_NLS_KOI8_U is not set
732 CONFIG_NLS_UTF8=y
733 # CONFIG_DLM is not set
734 CONFIG_HAVE_KVM=y
735 CONFIG_VIRTUALIZATION=y
736 CONFIG_KVM=y
737 CONFIG_KVM_INTEL=m
740 # Library routines
742 CONFIG_BITREVERSE=y
743 # CONFIG_GENERIC_FIND_FIRST_BIT is not set
744 # CONFIG_CRC_CCITT is not set
745 # CONFIG_CRC16 is not set
746 # CONFIG_CRC_ITU_T is not set
747 CONFIG_CRC32=y
748 # CONFIG_CRC7 is not set
749 # CONFIG_LIBCRC32C is not set
750 CONFIG_PLIST=y
751 CONFIG_HAS_IOMEM=y
752 CONFIG_HAS_IOPORT=y
753 CONFIG_HAS_DMA=y
754 CONFIG_GENERIC_HARDIRQS=y
755 CONFIG_GENERIC_IRQ_PROBE=y
756 CONFIG_GENERIC_PENDING_IRQ=y
757 CONFIG_IRQ_PER_CPU=y
760 # HP Simulator drivers
762 # CONFIG_HP_SIMETH is not set
763 # CONFIG_HP_SIMSERIAL is not set
766 # Kernel hacking
768 # CONFIG_PRINTK_TIME is not set
769 # CONFIG_ENABLE_WARN_DEPRECATED is not set
770 # CONFIG_ENABLE_MUST_CHECK is not set
771 CONFIG_FRAME_WARN=2048
772 CONFIG_MAGIC_SYSRQ=y
773 # CONFIG_UNUSED_SYMBOLS is not set
774 # CONFIG_DEBUG_FS is not set
775 # CONFIG_HEADERS_CHECK is not set
776 CONFIG_DEBUG_KERNEL=y
777 # CONFIG_DEBUG_SHIRQ is not set
778 CONFIG_DETECT_SOFTLOCKUP=y
779 # CONFIG_SCHED_DEBUG is not set
780 # CONFIG_SCHEDSTATS is not set
781 # CONFIG_TIMER_STATS is not set
782 CONFIG_DEBUG_SLAB=y
783 # CONFIG_DEBUG_SLAB_LEAK is not set
784 CONFIG_DEBUG_RT_MUTEXES=y
785 CONFIG_DEBUG_PI_LIST=y
786 # CONFIG_RT_MUTEX_TESTER is not set
787 CONFIG_DEBUG_SPINLOCK=y
788 CONFIG_DEBUG_MUTEXES=y
789 CONFIG_DEBUG_SPINLOCK_SLEEP=y
790 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
791 # CONFIG_DEBUG_KOBJECT is not set
792 CONFIG_DEBUG_INFO=y
793 # CONFIG_DEBUG_VM is not set
794 # CONFIG_DEBUG_WRITECOUNT is not set
795 # CONFIG_DEBUG_LIST is not set
796 # CONFIG_DEBUG_SG is not set
797 # CONFIG_BOOT_PRINTK_DELAY is not set
798 # CONFIG_RCU_TORTURE_TEST is not set
799 # CONFIG_BACKTRACE_SELF_TEST is not set
800 # CONFIG_FAULT_INJECTION is not set
801 # CONFIG_SAMPLES is not set
802 CONFIG_IA64_GRANULE_16MB=y
803 # CONFIG_IA64_GRANULE_64MB is not set
804 CONFIG_IA64_PRINT_HAZARDS=y
805 # CONFIG_DISABLE_VHPT is not set
806 # CONFIG_IA64_DEBUG_CMPXCHG is not set
807 # CONFIG_IA64_DEBUG_IRQ is not set
810 # Security options
812 # CONFIG_KEYS is not set
813 # CONFIG_SECURITY is not set
814 # CONFIG_SECURITY_FILE_CAPABILITIES is not set
815 CONFIG_CRYPTO=y
818 # Crypto core or helper
820 CONFIG_CRYPTO_ALGAPI=y
821 CONFIG_CRYPTO_BLKCIPHER=y
822 CONFIG_CRYPTO_MANAGER=y
823 # CONFIG_CRYPTO_GF128MUL is not set
824 # CONFIG_CRYPTO_NULL is not set
825 # CONFIG_CRYPTO_CRYPTD is not set
826 # CONFIG_CRYPTO_AUTHENC is not set
827 # CONFIG_CRYPTO_TEST is not set
830 # Authenticated Encryption with Associated Data
832 # CONFIG_CRYPTO_CCM is not set
833 # CONFIG_CRYPTO_GCM is not set
834 # CONFIG_CRYPTO_SEQIV is not set
837 # Block modes
839 CONFIG_CRYPTO_CBC=y
840 # CONFIG_CRYPTO_CTR is not set
841 # CONFIG_CRYPTO_CTS is not set
842 # CONFIG_CRYPTO_ECB is not set
843 # CONFIG_CRYPTO_LRW is not set
844 # CONFIG_CRYPTO_PCBC is not set
845 # CONFIG_CRYPTO_XTS is not set
848 # Hash modes
850 # CONFIG_CRYPTO_HMAC is not set
851 # CONFIG_CRYPTO_XCBC is not set
854 # Digest
856 # CONFIG_CRYPTO_CRC32C is not set
857 # CONFIG_CRYPTO_MD4 is not set
858 # CONFIG_CRYPTO_MD5 is not set
859 # CONFIG_CRYPTO_MICHAEL_MIC is not set
860 # CONFIG_CRYPTO_SHA1 is not set
861 # CONFIG_CRYPTO_SHA256 is not set
862 # CONFIG_CRYPTO_SHA512 is not set
863 # CONFIG_CRYPTO_TGR192 is not set
864 # CONFIG_CRYPTO_WP512 is not set
867 # Ciphers
869 # CONFIG_CRYPTO_AES is not set
870 # CONFIG_CRYPTO_ANUBIS is not set
871 # CONFIG_CRYPTO_ARC4 is not set
872 # CONFIG_CRYPTO_BLOWFISH is not set
873 # CONFIG_CRYPTO_CAMELLIA is not set
874 # CONFIG_CRYPTO_CAST5 is not set
875 # CONFIG_CRYPTO_CAST6 is not set
876 # CONFIG_CRYPTO_DES is not set
877 # CONFIG_CRYPTO_FCRYPT is not set
878 # CONFIG_CRYPTO_KHAZAD is not set
879 # CONFIG_CRYPTO_SALSA20 is not set
880 # CONFIG_CRYPTO_SEED is not set
881 # CONFIG_CRYPTO_SERPENT is not set
882 # CONFIG_CRYPTO_TEA is not set
883 # CONFIG_CRYPTO_TWOFISH is not set
886 # Compression
888 # CONFIG_CRYPTO_DEFLATE is not set
889 # CONFIG_CRYPTO_LZO is not set
890 # CONFIG_CRYPTO_HW is not set