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 |