| CONFIG_SYS_TEXT_BASE=0xFFF00000 |
| CONFIG_GENERATE_PIRQ_TABLE=y |
| CONFIG_GENERATE_MP_TABLE=y |
| CONFIG_GENERATE_ACPI_TABLE=y |
| CONFIG_BOOTSTAGE_REPORT=y |
| CONFIG_SHOW_BOOT_PROGRESS=y |
| CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro" |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| CONFIG_DISPLAY_BOARDINFO_LATE=y |
| CONFIG_CMD_BOOTEFI_SELFTEST=y |
| # CONFIG_CMD_FLASH is not set |
| # CONFIG_CMD_SETEXPR is not set |
| # CONFIG_CMD_NFS is not set |
| CONFIG_DEFAULT_DEVICE_TREE="qemu-x86_i440fx" |
| CONFIG_FRAMEBUFFER_SET_VESA_MODE=y |
| CONFIG_FRAMEBUFFER_VESA_MODE_USER=y |
| CONFIG_FRAMEBUFFER_VESA_MODE=0x144 |
| CONFIG_CONSOLE_SCROLL_LINES=5 |