7 CONFIG_LOG_BUF_SHIFT=14
8 CONFIG_BLK_DEV_INITRD=y
9 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
12 CONFIG_KALLSYMS_EXTRA_PASS=y
16 CONFIG_MODULE_UNLOAD=y
17 # CONFIG_BLK_DEV_BSG is not set
19 # CONFIG_EBONY is not set
22 CONFIG_MATH_EMULATION=y
25 CONFIG_CMDLINE="root=/dev/issblk0"
26 # CONFIG_PCI is not set
27 CONFIG_ADVANCED_OPTIONS=y
28 CONFIG_NONSTATIC_KERNEL=y
29 CONFIG_DYNAMIC_MEMSTART=y
37 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
38 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
39 # CONFIG_INET_XFRM_MODE_BEET is not set
40 # CONFIG_INET_LRO is not set
41 # CONFIG_IPV6 is not set
42 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
45 CONFIG_MTD_PARTITIONS=y
49 CONFIG_MTD_JEDECPROBE=y
50 CONFIG_MTD_CFI_AMDSTD=y
51 CONFIG_MTD_PHYSMAP_OF=y
52 CONFIG_PROC_DEVICETREE=y
54 CONFIG_BLK_DEV_RAM_SIZE=35000
55 # CONFIG_INPUT is not set
56 # CONFIG_SERIO is not set
57 # CONFIG_VT is not set
59 CONFIG_SERIAL_8250_CONSOLE=y
60 CONFIG_SERIAL_8250_EXTENDED=y
61 CONFIG_SERIAL_8250_SHARE_IRQ=y
62 CONFIG_SERIAL_OF_PLATFORM=y
63 # CONFIG_HW_RANDOM is not set
64 # CONFIG_HWMON is not set
66 # CONFIG_USB_SUPPORT is not set
69 # CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
70 CONFIG_EXT3_FS_POSIX_ACL=y
71 CONFIG_EXT3_FS_SECURITY=y
75 # CONFIG_NETWORK_FILESYSTEMS is not set
79 CONFIG_DETECT_HUNG_TASK=y
81 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
82 CONFIG_SYSCTL_SYSCALL_CHECK=y
83 CONFIG_PPC_EARLY_DEBUG=y
90 # CONFIG_CRYPTO_ANSI_CPRNG is not set
91 # CONFIG_CRYPTO_HW is not set