4 CONFIG_LOG_BUF_SHIFT=15
5 CONFIG_BLK_DEV_INITRD=y
6 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
8 # CONFIG_KALLSYMS is not set
9 # CONFIG_FUTEX is not set
10 # CONFIG_EPOLL is not set
13 CONFIG_MODULE_UNLOAD=y
14 # CONFIG_BLK_DEV_BSG is not set
15 CONFIG_BUS_CLOCK=10000000
16 CONFIG_MEMORY_START=0x08000000
17 CONFIG_MEMORY_SIZE=0x04000000
18 CONFIG_IRAM_START=0x00f00000
19 CONFIG_IRAM_SIZE=0x00080000
22 CONFIG_CHIP_M32700_TS1=y
30 # CONFIG_IPV6 is not set
31 # CONFIG_STANDALONE is not set
33 CONFIG_MTD_REDBOOT_PARTS=y
39 CONFIG_BLK_DEV_IDECS=m
40 CONFIG_BLK_DEV_IDECD=m
43 # CONFIG_INPUT_KEYBOARD is not set
44 # CONFIG_INPUT_MOUSE is not set
45 # CONFIG_SERIO_I8042 is not set
46 # CONFIG_SERIO_SERPORT is not set
47 # CONFIG_VT is not set
48 CONFIG_SERIAL_M32R_SIO_CONSOLE=y