2 CONFIG_DEFAULT_DEVICE_TREE="qemu-x86_i440fx"
3 CONFIG_GENERATE_PIRQ_TABLE=y
4 CONFIG_GENERATE_MP_TABLE=y
6 # CONFIG_CMD_IMLS is not set
7 # CONFIG_CMD_FLASH is not set
8 # CONFIG_CMD_SETEXPR is not set
9 # CONFIG_CMD_NFS is not set
11 CONFIG_BOOTSTAGE_REPORT=y
12 CONFIG_CMD_BOOTSTAGE=y
17 CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
18 CONFIG_FRAMEBUFFER_VESA_MODE_111=y
20 CONFIG_USE_PRIVATE_LIBGCC=y
21 CONFIG_SYS_VSNPRINTF=y