| CONFIG_MACH_VR41XX=y |
| CONFIG_CASIO_E55=y |
| CONFIG_EXPERIMENTAL=y |
| CONFIG_SYSVIPC=y |
| CONFIG_LOG_BUF_SHIFT=14 |
| # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set |
| CONFIG_EXPERT=y |
| # CONFIG_HOTPLUG is not set |
| CONFIG_SLAB=y |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_MODULE_FORCE_UNLOAD=y |
| CONFIG_MODVERSIONS=y |
| CONFIG_MODULE_SRCVERSION_ALL=y |
| # CONFIG_BLK_DEV_BSG is not set |
| CONFIG_BLK_DEV_RAM=y |
| # CONFIG_MISC_DEVICES is not set |
| CONFIG_IDE=y |
| CONFIG_IDE_GENERIC=y |
| # CONFIG_INPUT_MOUSEDEV is not set |
| # CONFIG_INPUT_KEYBOARD is not set |
| # CONFIG_INPUT_MOUSE is not set |
| # CONFIG_SERIO is not set |
| CONFIG_VT_HW_CONSOLE_BINDING=y |
| CONFIG_SERIAL_VR41XX=y |
| CONFIG_SERIAL_VR41XX_CONSOLE=y |
| # CONFIG_HW_RANDOM is not set |
| CONFIG_GPIO_VR41XX=y |
| # CONFIG_HWMON is not set |
| # CONFIG_VGA_CONSOLE is not set |
| # CONFIG_HID_SUPPORT is not set |
| # CONFIG_USB_SUPPORT is not set |
| CONFIG_RTC_CLASS=y |
| CONFIG_RTC_DRV_VR41XX=y |
| CONFIG_EXT2_FS=y |
| CONFIG_EXT3_FS=y |
| CONFIG_AUTOFS4_FS=y |
| CONFIG_PROC_KCORE=y |
| CONFIG_TMPFS=y |
| CONFIG_TMPFS_POSIX_ACL=y |
| CONFIG_CMDLINE_BOOL=y |
| CONFIG_CMDLINE="console=ttyVR0,19200 ide0=0x1f0,0x3f6,40 mem=8M" |
| # CONFIG_CRC32 is not set |