2 CONFIG_DEFAULT_DEVICE_TREE="qemu-x86_i440fx"
3 CONFIG_GENERATE_PIRQ_TABLE=y
4 # CONFIG_CMD_IMLS is not set
5 # CONFIG_CMD_FLASH is not set
6 # CONFIG_CMD_SETEXPR is not set
7 # CONFIG_CMD_NFS is not set
9 CONFIG_BOOTSTAGE_REPORT=y
10 CONFIG_CMD_BOOTSTAGE=y
14 CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
15 CONFIG_FRAMEBUFFER_VESA_MODE_111=y
16 CONFIG_USE_PRIVATE_LIBGCC=y
17 CONFIG_SYS_VSNPRINTF=y