3 CONFIG_HIGH_RES_TIMERS=y
4 CONFIG_LOG_BUF_SHIFT=14
5 CONFIG_BLK_DEV_INITRD=y
7 # CONFIG_KALLSYMS is not set
8 # CONFIG_EPOLL is not set
10 CONFIG_MODULE_UNLOAD=y
11 # CONFIG_BLK_DEV_BSG is not set
12 # CONFIG_PPC_CHRP is not set
14 CONFIG_PPC_MPC5200_SIMPLE=y
16 # CONFIG_PPC_PMAC is not set
27 # CONFIG_IPV6 is not set
28 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
29 # CONFIG_FW_LOADER is not set
32 CONFIG_BLK_DEV_RAM_SIZE=32768
33 # CONFIG_SCSI_PROC_FS is not set
40 # CONFIG_INPUT is not set
41 # CONFIG_SERIO is not set
42 # CONFIG_VT is not set
43 CONFIG_SERIAL_MPC52xx=y
44 CONFIG_SERIAL_MPC52xx_CONSOLE=y
45 CONFIG_SERIAL_MPC52xx_CONSOLE_BAUD=115200
46 # CONFIG_HW_RANDOM is not set
51 # CONFIG_HWMON is not set
63 CONFIG_DETECT_HUNG_TASK=y
64 # CONFIG_DEBUG_BUGVERBOSE is not set
65 # CONFIG_CRYPTO_ANSI_CPRNG is not set