| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | menu "Sandbox architecture" |
| 2 | depends on SANDBOX |
| 3 | |
| Tom Rini | 286a159 | 2021-10-19 21:16:55 -0400 | [diff] [blame] | 4 | config ARCH_MAP_SYSMEM |
| 5 | def_bool y |
| 6 | |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 7 | config SYS_ARCH |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 8 | default "sandbox" |
| 9 | |
| 10 | config SYS_BOARD |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 11 | default "sandbox" |
| 12 | |
| Tom Rini | 0c4b388 | 2016-04-18 13:57:42 -0400 | [diff] [blame] | 13 | config SYS_CPU |
| 14 | default "sandbox" |
| 15 | |
| Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 16 | config SANDBOX64 |
| 17 | bool "Use 64-bit addresses" |
| 18 | select PHYS_64BIT |
| 19 | select HOST_64BIT |
| 20 | |
| Heinrich Schuchardt | e85497a | 2020-06-07 18:47:35 +0200 | [diff] [blame] | 21 | config SANDBOX_RAM_SIZE_MB |
| 22 | int "RAM size in MiB" |
| 23 | default 128 |
| 24 | range 64 4095 if !SANDBOX64 |
| 25 | range 64 268435456 if SANDBOX64 |
| 26 | help |
| 27 | Memory size of the sandbox in MiB. The default value is 128 MiB. |
| 28 | The minimum value is 64 MiB. The maximum value is 4095 MiB for the |
| 29 | 32bit sandbox. |
| 30 | |
| Simon Glass | 8797b2c | 2016-07-04 11:57:54 -0600 | [diff] [blame] | 31 | config SANDBOX_SPL |
| 32 | bool "Enable SPL for sandbox" |
| 33 | select SUPPORT_SPL |
| 34 | |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 35 | config SYS_CONFIG_NAME |
| Simon Glass | 8797b2c | 2016-07-04 11:57:54 -0600 | [diff] [blame] | 36 | default "sandbox_spl" if SANDBOX_SPL |
| 37 | default "sandbox" if !SANDBOX_SPL |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 38 | |
| Bin Meng | 98cff66 | 2017-08-01 16:33:33 -0700 | [diff] [blame] | 39 | choice |
| 40 | prompt "Run sandbox on 32/64-bit host" |
| Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 41 | default HOST_64BIT |
| Bin Meng | 98cff66 | 2017-08-01 16:33:33 -0700 | [diff] [blame] | 42 | help |
| 43 | Sandbox can be built on 32-bit and 64-bit hosts. |
| 44 | The default is to build on a 64-bit host and run |
| 45 | on a 64-bit host. If you want to run sandbox on |
| 46 | a 32-bit host, change it here. |
| 47 | |
| Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 48 | config HOST_32BIT |
| Bin Meng | 98cff66 | 2017-08-01 16:33:33 -0700 | [diff] [blame] | 49 | bool "32-bit host" |
| Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 50 | depends on !PHYS_64BIT |
| Bin Meng | 98cff66 | 2017-08-01 16:33:33 -0700 | [diff] [blame] | 51 | |
| Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 52 | config HOST_64BIT |
| Bin Meng | 98cff66 | 2017-08-01 16:33:33 -0700 | [diff] [blame] | 53 | bool "64-bit host" |
| 54 | |
| 55 | endchoice |
| 56 | |
| Heinrich Schuchardt | b46f30a | 2020-11-12 00:29:56 +0100 | [diff] [blame] | 57 | config SANDBOX_CRASH_RESET |
| 58 | bool "Reset on crash" |
| 59 | help |
| 60 | If an illegal instruction or an illegal memory access occurs, the |
| 61 | sandbox by default writes a crash dump and exits. If you set this |
| 62 | flag, the sandbox is reset instead. This may be useful when running |
| 63 | test suites like the UEFI self certification test which continue |
| 64 | with the next test after a crash. |
| 65 | |
| Bin Meng | 226b50b | 2017-08-01 16:33:34 -0700 | [diff] [blame] | 66 | config SANDBOX_BITS_PER_LONG |
| 67 | int |
| Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 68 | default 32 if HOST_32BIT |
| 69 | default 64 if HOST_64BIT |
| Bin Meng | 226b50b | 2017-08-01 16:33:34 -0700 | [diff] [blame] | 70 | |
| Simon Glass | 5ae2578 | 2021-11-24 09:26:41 -0700 | [diff] [blame^] | 71 | config SYS_FDT_LOAD_ADDR |
| 72 | hex "Address at which to load devicetree" |
| 73 | default 0x100 |
| 74 | help |
| 75 | With sandbox the devicetree is loaded into the emulated RAM. This sets |
| 76 | the address that is used. There must be enough space at this address |
| 77 | to load the full devicetree without it overwriting anything else. |
| 78 | |
| 79 | See `doc/arch/sandbox.rst` for more information. |
| 80 | |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 81 | endmenu |