]>
Commit | Line | Data |
---|---|---|
dd84058d MY |
1 | menu "Sandbox architecture" |
2 | depends on SANDBOX | |
3 | ||
4 | config SYS_ARCH | |
dd84058d MY |
5 | default "sandbox" |
6 | ||
7 | config SYS_BOARD | |
dd84058d MY |
8 | default "sandbox" |
9 | ||
0c4b3880 TR |
10 | config SYS_CPU |
11 | default "sandbox" | |
12 | ||
8797b2ca SG |
13 | config SANDBOX_SPL |
14 | bool "Enable SPL for sandbox" | |
15 | select SUPPORT_SPL | |
16 | ||
dd84058d | 17 | config SYS_CONFIG_NAME |
8797b2ca SG |
18 | default "sandbox_spl" if SANDBOX_SPL |
19 | default "sandbox" if !SANDBOX_SPL | |
dd84058d MY |
20 | |
21 | endmenu |