1 CONFIG_3_LEVEL_PGTABLES=y
3 # CONFIG_ARCH_HAS_SC_SIGNALS is not set
4 # CONFIG_ARCH_REUSE_HOST_VSYSCALL_AREA is not set
6 CONFIG_BLK_DEV_COW_COMMON=y
8 CONFIG_BLK_DEV_UBD_SYNC=y
9 # CONFIG_CFQ_GROUP_IOSCHED is not set
10 CONFIG_CON_CHAN="xterm"
11 CONFIG_CON_ZERO_CHAN="fd:0,fd:1"
13 CONFIG_CPU_SUP_CENTAUR=y
14 CONFIG_CPU_SUP_INTEL=y
16 # CONFIG_CRASHLOG is not set
18 # CONFIG_CRYPTO_AES_X86_64 is not set
19 CONFIG_CRYPTO_CRC32C=y
22 # CONFIG_CRYPTO_SALSA20_X86_64 is not set
24 # CONFIG_CRYPTO_SKEIN is not set
25 # CONFIG_CRYPTO_THREEFISH is not set
26 # CONFIG_CRYPTO_TWOFISH_X86_64 is not set
27 CONFIG_DEBUG_BUGVERBOSE=y
28 CONFIG_DEBUG_MEMORY_INIT=y
29 CONFIG_DECOMPRESS_BZIP2=y
30 CONFIG_DECOMPRESS_GZIP=y
32 # CONFIG_DEFAULT_DEADLINE is not set
33 CONFIG_DEFAULT_IOSCHED="cfq"
34 CONFIG_DEFCONFIG_LIST="arch/$ARCH/defconfig"
36 # CONFIG_EARLY_PRINTK is not set
42 CONFIG_GENERIC_CLOCKEVENTS=y
43 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
44 # CONFIG_GENERIC_CPU is not set
45 CONFIG_GENERIC_CPU_DEVICES=y
46 CONFIG_GENERIC_FIND_FIRST_BIT=y
48 CONFIG_GENERIC_IRQ_SHOW=y
49 CONFIG_HAVE_64BIT_ALIGNED_ACCESS=y
50 # CONFIG_HAVE_BOOTMEM_INFO_NODE is not set
51 # CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
52 CONFIG_HAVE_GENERIC_HARDIRQS=y
57 # CONFIG_HPPFS is not set
59 CONFIG_INITRAMFS_SOURCE=""
60 CONFIG_INIT_ENV_ARG_LIMIT=128
67 CONFIG_KERNEL_STACK_ORDER=2
68 CONFIG_LD_SCRIPT_STATIC=y
70 CONFIG_LEGACY_PTY_COUNT=256
71 # CONFIG_MATOM is not set
73 # CONFIG_MCORE2 is not set
75 # CONFIG_MMAPPER is not set
76 CONFIG_MODULES_USE_ELF_RELA=y
77 # CONFIG_MPSC is not set
79 CONFIG_NEED_PER_CPU_KM=y
80 # CONFIG_NET_NS is not set
82 # CONFIG_NOCONFIG_CHAN is not set
86 CONFIG_PAGEFLAGS_EXTENDED=y
87 CONFIG_PHYS_ADDR_T_64BIT=y
90 CONFIG_POSIX_MQUEUE_SYSCTL=y
91 # CONFIG_PREEMPT_RCU is not set
92 # CONFIG_PRINT_QUOTA_WARNING is not set
93 # CONFIG_PROCESSOR_SELECT is not set
94 CONFIG_PROC_PAGE_MONITOR=y
100 # CONFIG_QUOTA_NETLINK_INTERFACE is not set
102 # CONFIG_RCU_STALL_COMMON is not set
106 # CONFIG_RWSEM_GENERIC_SPINLOCK is not set
107 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
108 # CONFIG_SCSI_DMA is not set
109 CONFIG_SOFT_WATCHDOG=m
111 CONFIG_SOUND_OSS_CORE=y
112 CONFIG_SOUND_OSS_CORE_PRECLAIM=y
113 CONFIG_SQUASHFS_EMBEDDED=y
115 CONFIG_SSL_CHAN="pty"
116 # CONFIG_STACKTRACE_SUPPORT is not set
118 CONFIG_STDERR_CONSOLE=y
119 CONFIG_STDIO_CONSOLE=y
120 CONFIG_TICK_CPU_ACCOUNTING=y
121 # CONFIG_TRACE_IRQFLAGS_SUPPORT is not set
124 CONFIG_UIDGID_CONVERTED=y
127 CONFIG_UML_NET_DAEMON=y
128 CONFIG_UML_NET_ETHERTAP=y
129 CONFIG_UML_NET_MCAST=y
130 # CONFIG_UML_NET_PCAP is not set
131 # CONFIG_UML_NET_RANDOM_MAC is not set
132 CONFIG_UML_NET_SLIP=y
133 CONFIG_UML_NET_SLIRP=y
134 CONFIG_UML_NET_TUNTAP=y
135 # CONFIG_UML_NET_VDE is not set
138 CONFIG_UML_WATCHDOG=m
140 # CONFIG_UNISYSSPAR is not set
141 # CONFIG_USB_ARCH_HAS_EHCI is not set
142 # CONFIG_USB_ARCH_HAS_OHCI is not set
143 # CONFIG_USB_ARCH_HAS_XHCI is not set
144 # CONFIG_USER_NS is not set
145 CONFIG_VM_EVENT_COUNTERS=y
146 CONFIG_WATCHDOG_CORE=y
147 # CONFIG_X86_32 is not set
150 CONFIG_X86_CMPXCHG64=y
151 CONFIG_X86_INTEL_USERCOPY=y
152 CONFIG_X86_INTERNODE_CACHE_SHIFT=6
153 CONFIG_X86_L1_CACHE_SHIFT=6
154 CONFIG_X86_MINIMUM_CPU_FAMILY=64
156 CONFIG_X86_USE_PPRO_CHECKSUM=y
158 CONFIG_ZLIB_INFLATE=y
159 CONFIG_ZONE_DMA_FLAG=0