2 CONFIG_DEFAULT_DEVICE_TREE="qemu-x86_i440fx"
5 CONFIG_GENERATE_PIRQ_TABLE=y
6 CONFIG_GENERATE_MP_TABLE=y
8 # CONFIG_CMD_IMLS is not set
9 # CONFIG_CMD_FLASH is not set
10 # CONFIG_CMD_SETEXPR is not set
11 # CONFIG_CMD_NFS is not set
13 CONFIG_BOOTSTAGE_REPORT=y
14 CONFIG_CMD_BOOTSTAGE=y
19 CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
20 CONFIG_FRAMEBUFFER_VESA_MODE_111=y
22 CONFIG_USE_PRIVATE_LIBGCC=y
23 CONFIG_SYS_VSNPRINTF=y