1CONFIG_SYSVIPC=y
2CONFIG_LOG_BUF_SHIFT=14
3CONFIG_EXPERT=y
4CONFIG_SLAB=y
5CONFIG_MACH_VR41XX=y
6CONFIG_CASIO_E55=y
7CONFIG_MODULES=y
8CONFIG_MODULE_UNLOAD=y
9CONFIG_MODULE_FORCE_UNLOAD=y
10CONFIG_MODVERSIONS=y
11CONFIG_MODULE_SRCVERSION_ALL=y
12# CONFIG_BLK_DEV_BSG is not set
13CONFIG_BLK_DEV_RAM=y
14CONFIG_BLK_DEV_SD=y
15CONFIG_ATA=y
16CONFIG_PATA_LEGACY=y
17# CONFIG_INPUT_KEYBOARD is not set
18# CONFIG_INPUT_MOUSE is not set
19# CONFIG_SERIO is not set
20CONFIG_VT_HW_CONSOLE_BINDING=y
21CONFIG_SERIAL_VR41XX=y
22CONFIG_SERIAL_VR41XX_CONSOLE=y
23# CONFIG_HW_RANDOM is not set
24CONFIG_GPIO_VR41XX=y
25# CONFIG_HWMON is not set
26# CONFIG_VGA_CONSOLE is not set
27# CONFIG_USB_SUPPORT is not set
28CONFIG_RTC_CLASS=y
29CONFIG_RTC_DRV_VR41XX=y
30CONFIG_EXT2_FS=y
31CONFIG_EXT3_FS=y
32CONFIG_AUTOFS4_FS=y
33CONFIG_PROC_KCORE=y
34CONFIG_TMPFS=y
35CONFIG_TMPFS_POSIX_ACL=y
36CONFIG_CMDLINE_BOOL=y
37CONFIG_CMDLINE="console=ttyVR0,19200 ide0=0x1f0,0x3f6,40 mem=8M"
38