| Bin Meng | 405d820 | 2014-12-17 15:50:41 +0800 | [diff] [blame] | 1 | CONFIG_X86=y |
| Bin Meng | 65c4ac0 | 2015-04-27 23:22:24 +0800 | [diff] [blame] | 2 | CONFIG_VENDOR_INTEL=y |
| Bin Meng | 405d820 | 2014-12-17 15:50:41 +0800 | [diff] [blame] | 3 | CONFIG_DEFAULT_DEVICE_TREE="crownbay" |
| Joe Hershberger | bd328eb | 2015-05-12 14:46:24 -0500 | [diff] [blame] | 4 | CONFIG_TARGET_CROWNBAY=y |
| Bin Meng | afbf140 | 2015-04-24 18:10:06 +0800 | [diff] [blame] | 5 | CONFIG_GENERATE_PIRQ_TABLE=y |
| Joe Hershberger | ef0f2f5 | 2015-06-22 16:15:30 -0500 | [diff] [blame^] | 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 |
| Joe Hershberger | c9bb942 | 2015-06-22 16:15:29 -0500 | [diff] [blame] | 10 | CONFIG_BOOTSTAGE=y |
| 11 | CONFIG_BOOTSTAGE_REPORT=y |
| 12 | CONFIG_CMD_BOOTSTAGE=y |
| Joe Hershberger | bd328eb | 2015-05-12 14:46:24 -0500 | [diff] [blame] | 13 | CONFIG_OF_CONTROL=y |
| Joe Hershberger | c9bb942 | 2015-06-22 16:15:29 -0500 | [diff] [blame] | 14 | CONFIG_SPI_FLASH=y |
| 15 | CONFIG_USE_PRIVATE_LIBGCC=y |
| 16 | CONFIG_SYS_VSNPRINTF=y |