| # This image was built using coreboot 4.11-105-gdf0c731e68-dirty | |
| CONFIG_VENDOR_ASUS=y | |
| CONFIG_BOARD_ASUS_P2B_LS=y | |
| # CONFIG_DRIVERS_INTEL_WIFI is not set | |
| # CONFIG_POST_DEVICE is not set | |
| CONFIG_CPU_MICROCODE_CBFS_NONE=y | |
| CONFIG_SEABIOS_PS2_TIMEOUT=500 | |
| CONFIG_SEABIOS_DEBUG_LEVEL=8 | |
| CONFIG_DEBUG_RAM_SETUP=y |