| # This image was built using coreboot 4.5-913-g72d4a7e | |
| CONFIG_COLLECT_TIMESTAMPS=y | |
| CONFIG_VENDOR_HP=y | |
| CONFIG_CBFS_SIZE=0x70000 | |
| CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y | |
| # CONFIG_DRIVERS_UART_8250IO is not set | |
| CONFIG_USBDEBUG=y | |
| CONFIG_NO_POST=y | |
| CONFIG_FRAMEBUFFER_KEEP_VESA_MODE=y | |
| # CONFIG_DRIVERS_INTEL_WIFI is not set | |
| CONFIG_CONSOLE_USB=y |