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