3 # CONFIG_SWAP is not set
5 CONFIG_LOG_BUF_SHIFT=14
6 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
8 # CONFIG_SYSCTL_SYSCALL is not set
9 # CONFIG_HOTPLUG is not set
10 # CONFIG_BUG is not set
11 # CONFIG_BASE_FULL is not set
12 # CONFIG_EPOLL is not set
13 # CONFIG_VM_EVENT_COUNTERS is not set
14 # CONFIG_BLK_DEV_BSG is not set
19 CONFIG_HIGH_RES_TIMERS=y
21 CONFIG_MATH_EMULATION=y
23 # CONFIG_SECCOMP is not set
31 # CONFIG_INET_LRO is not set
32 # CONFIG_IPV6 is not set
38 # CONFIG_VT is not set
40 CONFIG_SERIAL_CPM_CONSOLE=y
41 # CONFIG_LEGACY_PTYS is not set
43 CONFIG_VIDEO_OUTPUT_CONTROL=y
45 CONFIG_EXT2_FS_XATTR=y
47 # CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
54 CONFIG_PARTITION_ADVANCED=y
56 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
57 # CONFIG_CRYPTO_ANSI_CPRNG is not set
58 CONFIG_CRC32_SLICEBY4=y