Bin Meng | ef4dc7e | 2014-12-17 15:50:41 +0800 | [diff] [blame] | 1 | CONFIG_X86=y |
Bin Meng | 03b341b | 2015-04-27 23:22:24 +0800 | [diff] [blame] | 2 | CONFIG_VENDOR_INTEL=y |
Bin Meng | ef4dc7e | 2014-12-17 15:50:41 +0800 | [diff] [blame] | 3 | CONFIG_DEFAULT_DEVICE_TREE="crownbay" |
Joe Hershberger | a274ded | 2015-05-12 14:46:24 -0500 | [diff] [blame] | 4 | CONFIG_TARGET_CROWNBAY=y |
Bin Meng | 3916df5 | 2015-06-17 11:15:39 +0800 | [diff] [blame] | 5 | CONFIG_SMP=y |
6 | CONFIG_MAX_CPUS=2 | ||||
Bin Meng | 519dee0 | 2015-07-09 18:37:40 +0800 | [diff] [blame] | 7 | CONFIG_HAVE_VGA_BIOS=y |
Bin Meng | 1530536 | 2015-04-24 18:10:06 +0800 | [diff] [blame] | 8 | CONFIG_GENERATE_PIRQ_TABLE=y |
Bin Meng | 519dee0 | 2015-07-09 18:37:40 +0800 | [diff] [blame] | 9 | CONFIG_GENERATE_MP_TABLE=y |
Bin Meng | 3916df5 | 2015-06-17 11:15:39 +0800 | [diff] [blame] | 10 | CONFIG_CMD_CPU=y |
Joe Hershberger | 5a9d7f1 | 2015-06-22 16:15:30 -0500 | [diff] [blame] | 11 | # CONFIG_CMD_IMLS is not set |
12 | # CONFIG_CMD_FLASH is not set | ||||
13 | # CONFIG_CMD_SETEXPR is not set | ||||
14 | # CONFIG_CMD_NFS is not set | ||||
Joe Hershberger | 17491a8 | 2015-06-22 16:15:29 -0500 | [diff] [blame] | 15 | CONFIG_BOOTSTAGE=y |
16 | CONFIG_BOOTSTAGE_REPORT=y | ||||
17 | CONFIG_CMD_BOOTSTAGE=y | ||||
Joe Hershberger | a274ded | 2015-05-12 14:46:24 -0500 | [diff] [blame] | 18 | CONFIG_OF_CONTROL=y |
Bin Meng | 3916df5 | 2015-06-17 11:15:39 +0800 | [diff] [blame] | 19 | CONFIG_CPU=y |
Bin Meng | d0e9373 | 2015-07-19 00:20:07 +0800 | [diff] [blame] | 20 | CONFIG_DM_PCI=y |
Joe Hershberger | 17491a8 | 2015-06-22 16:15:29 -0500 | [diff] [blame] | 21 | CONFIG_SPI_FLASH=y |
Bin Meng | 45e3e81 | 2015-07-06 16:31:35 +0800 | [diff] [blame] | 22 | CONFIG_VIDEO_VESA=y |
23 | CONFIG_FRAMEBUFFER_SET_VESA_MODE=y | ||||
Bin Meng | 8800c41 | 2015-06-23 12:18:43 +0800 | [diff] [blame] | 24 | CONFIG_DM_RTC=y |
Bin Meng | 519dee0 | 2015-07-09 18:37:40 +0800 | [diff] [blame] | 25 | CONFIG_USE_PRIVATE_LIBGCC=y |
26 | CONFIG_SYS_VSNPRINTF=y |