2015-05-07 21:34:08 +08:00
|
|
|
CONFIG_X86=y
|
2015-06-03 09:20:04 +08:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="qemu-x86_i440fx"
|
2015-06-03 09:20:06 +08:00
|
|
|
CONFIG_GENERATE_PIRQ_TABLE=y
|
2015-06-22 16:15:30 -05:00
|
|
|
# CONFIG_CMD_IMLS is not set
|
|
|
|
# CONFIG_CMD_FLASH is not set
|
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
|
|
|
# CONFIG_CMD_NFS is not set
|
2015-06-22 16:15:29 -05:00
|
|
|
CONFIG_BOOTSTAGE=y
|
|
|
|
CONFIG_BOOTSTAGE_REPORT=y
|
|
|
|
CONFIG_CMD_BOOTSTAGE=y
|
2015-05-07 21:34:08 +08:00
|
|
|
CONFIG_OF_CONTROL=y
|
2015-06-22 16:15:29 -05:00
|
|
|
CONFIG_SPI_FLASH=y
|
2015-05-11 07:36:30 +08:00
|
|
|
CONFIG_VIDEO_VESA=y
|
|
|
|
CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
|
|
|
|
CONFIG_FRAMEBUFFER_VESA_MODE_111=y
|
2015-06-22 16:15:29 -05:00
|
|
|
CONFIG_USE_PRIVATE_LIBGCC=y
|
|
|
|
CONFIG_SYS_VSNPRINTF=y
|