| # This image was built using coreboot 4.5-906-g3fb6e6e-dirty | |
| CONFIG_COLLECT_TIMESTAMPS=y | |
| CONFIG_VENDOR_HP=y | |
| CONFIG_CBFS_SIZE=0x60000 | |
| 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 |