| Bin Meng | 405d820 | 2014-12-17 15:50:41 +0800 | [diff] [blame] | 1 | CONFIG_SYS_EXTRA_OPTIONS="SYS_TEXT_BASE=0xfff00000" |
| 2 | CONFIG_X86=y | ||||
| Bin Meng | 65c4ac0 | 2015-04-27 23:22:24 +0800 | [diff] [blame^] | 3 | CONFIG_VENDOR_INTEL=y |
| Bin Meng | 405d820 | 2014-12-17 15:50:41 +0800 | [diff] [blame] | 4 | CONFIG_TARGET_CROWNBAY=y |
| 5 | CONFIG_OF_CONTROL=y | ||||
| 6 | CONFIG_OF_SEPARATE=y | ||||
| 7 | CONFIG_DEFAULT_DEVICE_TREE="crownbay" | ||||
| Bin Meng | afbf140 | 2015-04-24 18:10:06 +0800 | [diff] [blame] | 8 | CONFIG_GENERATE_PIRQ_TABLE=y |