| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | menu "x86 architecture" |
| 2 | depends on X86 | ||||
| 3 | |||||
| 4 | config SYS_ARCH | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 5 | default "x86" |
| 6 | |||||
| Masahiro Yamada | 45ccec8 | 2014-10-24 01:30:43 +0900 | [diff] [blame^] | 7 | config USE_PRIVATE_LIBGCC |
| 8 | default y | ||||
| 9 | |||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 10 | choice |
| 11 | prompt "Target select" | ||||
| 12 | |||||
| 13 | config TARGET_COREBOOT | ||||
| 14 | bool "Support coreboot" | ||||
| 15 | |||||
| 16 | endchoice | ||||
| 17 | |||||
| 18 | source "board/chromebook-x86/coreboot/Kconfig" | ||||
| 19 | |||||
| 20 | endmenu | ||||