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_TWOFISH_X86_64 is not set
25 CONFIG_DEBUG_BUGVERBOSE=y
26 CONFIG_DEBUG_MEMORY_INIT=y
27 CONFIG_DECOMPRESS_BZIP2=y
28 CONFIG_DECOMPRESS_GZIP=y
30 # CONFIG_DEFAULT_DEADLINE is not set
31 CONFIG_DEFAULT_IOSCHED="cfq"
32 CONFIG_DEFCONFIG_LIST="arch/$ARCH/defconfig"
34 # CONFIG_EARLY_PRINTK is not set
40 CONFIG_GENERIC_CLOCKEVENTS=y
41 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
42 # CONFIG_GENERIC_CPU is not set
43 CONFIG_GENERIC_CPU_DEVICES=y
44 CONFIG_GENERIC_FIND_FIRST_BIT=y
46 CONFIG_GENERIC_IRQ_SHOW=y
47 # CONFIG_HAMRADIO is not set
48 CONFIG_HAVE_64BIT_ALIGNED_ACCESS=y
49 # CONFIG_HAVE_BOOTMEM_INFO_NODE is not set
50 # CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
51 CONFIG_HAVE_GENERIC_HARDIRQS=y
56 # CONFIG_HPPFS is not set
58 CONFIG_INITRAMFS_SOURCE=""
59 CONFIG_INIT_ENV_ARG_LIMIT=128
66 CONFIG_KERNEL_STACK_ORDER=2
67 CONFIG_LD_SCRIPT_STATIC=y
69 CONFIG_LEGACY_PTY_COUNT=256
70 # CONFIG_MATOM is not set
72 # CONFIG_MCORE2 is not set
74 # CONFIG_MMAPPER is not set
75 CONFIG_MODULES_USE_ELF_RELA=y
76 # CONFIG_MPSC is not set
78 CONFIG_NEED_PER_CPU_KM=y
79 # CONFIG_NET_NS is not set
81 # CONFIG_NOCONFIG_CHAN is not set
85 CONFIG_PAGEFLAGS_EXTENDED=y
86 CONFIG_PHYS_ADDR_T_64BIT=y
89 CONFIG_POSIX_MQUEUE_SYSCTL=y
90 # CONFIG_PREEMPT_RCU is not set
91 # CONFIG_PRINT_QUOTA_WARNING is not set
92 # CONFIG_PROCESSOR_SELECT is not set
93 CONFIG_PROC_PAGE_MONITOR=y
99 # CONFIG_QUOTA_NETLINK_INTERFACE is not set
101 # CONFIG_RCU_STALL_COMMON is not set
105 # CONFIG_RWSEM_GENERIC_SPINLOCK is not set
106 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
107 # CONFIG_SCSI_DMA is not set
108 CONFIG_SOFT_WATCHDOG=m
110 CONFIG_SOUND_OSS_CORE=y
111 CONFIG_SOUND_OSS_CORE_PRECLAIM=y
112 CONFIG_SQUASHFS_EMBEDDED=y
114 CONFIG_SSL_CHAN="pty"
115 # CONFIG_STACKTRACE_SUPPORT is not set
117 CONFIG_STDERR_CONSOLE=y
118 CONFIG_STDIO_CONSOLE=y
119 CONFIG_TICK_CPU_ACCOUNTING=y
120 # CONFIG_TRACE_IRQFLAGS_SUPPORT is not set
123 CONFIG_UIDGID_CONVERTED=y
126 CONFIG_UML_NET_DAEMON=y
127 CONFIG_UML_NET_ETHERTAP=y
128 CONFIG_UML_NET_MCAST=y
129 # CONFIG_UML_NET_PCAP is not set
130 # CONFIG_UML_NET_RANDOM_MAC is not set
131 CONFIG_UML_NET_SLIP=y
132 CONFIG_UML_NET_SLIRP=y
133 CONFIG_UML_NET_TUNTAP=y
134 # CONFIG_UML_NET_VDE is not set
137 CONFIG_UML_WATCHDOG=m
139 # CONFIG_USB_ARCH_HAS_EHCI is not set
140 # CONFIG_USB_ARCH_HAS_OHCI is not set
141 # CONFIG_USB_ARCH_HAS_XHCI is not set
142 # CONFIG_USER_NS is not set
143 CONFIG_VM_EVENT_COUNTERS=y
144 CONFIG_WATCHDOG_CORE=y
145 # CONFIG_X86_32 is not set
148 CONFIG_X86_CMPXCHG64=y
149 CONFIG_X86_INTEL_USERCOPY=y
150 CONFIG_X86_INTERNODE_CACHE_SHIFT=6
151 CONFIG_X86_L1_CACHE_SHIFT=6
152 CONFIG_X86_MINIMUM_CPU_FAMILY=64
154 CONFIG_X86_USE_PPRO_CHECKSUM=y
156 CONFIG_ZLIB_INFLATE=y
157 CONFIG_ZONE_DMA_FLAG=0