| # CONFIG_64BIT is not set | |
| CONFIG_SYSVIPC=y | |
| CONFIG_BLK_DEV_INITRD=y | |
| # CONFIG_SUSPEND is not set | |
| # CONFIG_ACPI is not set | |
| CONFIG_CPU_IDLE=y | |
| CONFIG_DEVTMPFS=y | |
| CONFIG_DEVTMPFS_MOUNT=y | |
| CONFIG_BLK_DEV_SD=y | |
| CONFIG_BLK_DEV_SR=y | |
| CONFIG_ATA=y | |
| CONFIG_ATA_PIIX=y | |
| CONFIG_INPUT_EVDEV=y | |
| CONFIG_SERIAL_8250=y | |
| CONFIG_SERIAL_8250_CONSOLE=y | |
| CONFIG_POWER_SUPPLY=y | |
| CONFIG_THERMAL=y | |
| CONFIG_EXT4_FS=y | |
| CONFIG_ISO9660_FS=y | |
| CONFIG_JOLIET=y | |
| CONFIG_TMPFS=y | |
| CONFIG_TMPFS_POSIX_ACL=y | |
| # CONFIG_VIRTUALIZATION is not set |