2015-05-07 13:34:08 +00:00
|
|
|
CONFIG_X86=y
|
2015-06-03 01:20:04 +00:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="qemu-x86_i440fx"
|
2015-06-03 01:20:06 +00:00
|
|
|
CONFIG_GENERATE_PIRQ_TABLE=y
|
2015-06-22 21:15:30 +00: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 21:15:29 +00:00
|
|
|
CONFIG_BOOTSTAGE=y
|
|
|
|
CONFIG_BOOTSTAGE_REPORT=y
|
|
|
|
CONFIG_CMD_BOOTSTAGE=y
|
2015-05-07 13:34:08 +00:00
|
|
|
CONFIG_OF_CONTROL=y
|
2015-06-22 21:15:29 +00:00
|
|
|
CONFIG_SPI_FLASH=y
|
2015-05-10 23:36:30 +00:00
|
|
|
CONFIG_VIDEO_VESA=y
|
|
|
|
CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
|
|
|
|
CONFIG_FRAMEBUFFER_VESA_MODE_111=y
|
2015-06-22 21:15:29 +00:00
|
|
|
CONFIG_USE_PRIVATE_LIBGCC=y
|
|
|
|
CONFIG_SYS_VSNPRINTF=y
|