| # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set |
| # CONFIG_HOTPLUG is not set |
| CONFIG_MODULE_FORCE_UNLOAD=y |
| CONFIG_MODULE_SRCVERSION_ALL=y |
| # CONFIG_BLK_DEV_BSG is not set |
| # CONFIG_MISC_DEVICES is not set |
| # 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_CONSOLE=y |
| # CONFIG_HW_RANDOM is not set |
| # CONFIG_HWMON is not set |
| # CONFIG_VGA_CONSOLE is not set |
| # CONFIG_HID_SUPPORT is not set |
| # CONFIG_USB_SUPPORT is not set |
| CONFIG_CMDLINE="console=ttyVR0,19200 ide0=0x1f0,0x3f6,40 mem=8M" |
| # CONFIG_CRC32 is not set |