3 CONFIG_LOG_BUF_SHIFT=14
4 # CONFIG_SYSCTL_SYSCALL is not set
5 CONFIG_KALLSYMS_EXTRA_PASS=y
9 CONFIG_MODULE_FORCE_UNLOAD=y
10 # CONFIG_BLK_DEV_BSG is not set
11 CONFIG_CPU_SUBTYPE_SH7751R=y
12 CONFIG_MEMORY_START=0x0c000000
13 CONFIG_FLATMEM_MANUAL=y
15 CONFIG_SH_PCLK_FREQ=40000000
17 CONFIG_CMDLINE_OVERWRITE=y
18 CONFIG_CMDLINE="console=ttySC1,115200 root=/dev/sda1"
22 # CONFIG_YENTA_RICOH is not set
23 # CONFIG_YENTA_TI is not set
24 # CONFIG_YENTA_TOSHIBA is not set
29 CONFIG_IP_ADVANCED_ROUTER=y
31 # CONFIG_INET_LRO is not set
32 # CONFIG_IPV6 is not set
34 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
39 CONFIG_PATA_PLATFORM=y
45 CONFIG_8139TOO_TUNE_TWISTER=y
48 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
49 # CONFIG_INPUT_KEYBOARD is not set
50 # CONFIG_INPUT_MOUSE is not set
51 # CONFIG_SERIO is not set
52 CONFIG_SERIAL_SH_SCI=y
53 CONFIG_SERIAL_SH_SCI_CONSOLE=y
58 # CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
63 CONFIG_NLS_CODEPAGE_437=y
64 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
65 CONFIG_SH_STANDARD_BIOS=y
66 # CONFIG_CRYPTO_ANSI_CPRNG is not set