drivers/pci/Kconfig: Add PCI
[platform/kernel/u-boot.git] / arch / sandbox / Kconfig
1 menu "Sandbox architecture"
2         depends on SANDBOX
3
4 config SYS_ARCH
5         default "sandbox"
6
7 config SYS_BOARD
8         default "sandbox"
9
10 config SYS_CPU
11         default "sandbox"
12
13 config SANDBOX_SPL
14         bool "Enable SPL for sandbox"
15         select SUPPORT_SPL
16
17 config SYS_CONFIG_NAME
18         default "sandbox_spl" if SANDBOX_SPL
19         default "sandbox" if !SANDBOX_SPL
20
21 endmenu