Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | menu "Sandbox architecture" |
| 2 | depends on SANDBOX |
| 3 | |
| 4 | config SYS_ARCH |
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 5 | default "sandbox" |
| 6 | |
| 7 | config SYS_BOARD |
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 8 | default "sandbox" |
| 9 | |
Tom Rini | 0c4b388 | 2016-04-18 13:57:42 -0400 | [diff] [blame] | 10 | config SYS_CPU |
| 11 | default "sandbox" |
| 12 | |
Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 13 | config SANDBOX64 |
| 14 | bool "Use 64-bit addresses" |
| 15 | select PHYS_64BIT |
Michal Suchanek | 5bde2e0 | 2022-10-14 22:52:33 +0200 | [diff] [blame] | 16 | depends on HOST_64BIT |
Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 17 | |
Heinrich Schuchardt | e85497a | 2020-06-07 18:47:35 +0200 | [diff] [blame] | 18 | config SANDBOX_RAM_SIZE_MB |
| 19 | int "RAM size in MiB" |
Heinrich Schuchardt | 2be964d | 2022-04-30 07:55:53 +0200 | [diff] [blame] | 20 | default 256 |
Heinrich Schuchardt | e85497a | 2020-06-07 18:47:35 +0200 | [diff] [blame] | 21 | range 64 4095 if !SANDBOX64 |
| 22 | range 64 268435456 if SANDBOX64 |
| 23 | help |
Heinrich Schuchardt | 2be964d | 2022-04-30 07:55:53 +0200 | [diff] [blame] | 24 | Memory size of the sandbox in MiB. The default value is 256 MiB. |
Heinrich Schuchardt | e85497a | 2020-06-07 18:47:35 +0200 | [diff] [blame] | 25 | The minimum value is 64 MiB. The maximum value is 4095 MiB for the |
| 26 | 32bit sandbox. |
| 27 | |
Simon Glass | 8797b2c | 2016-07-04 11:57:54 -0600 | [diff] [blame] | 28 | config SANDBOX_SPL |
| 29 | bool "Enable SPL for sandbox" |
| 30 | select SUPPORT_SPL |
| 31 | |
Simon Glass | 9ae25b9 | 2022-04-30 00:56:54 -0600 | [diff] [blame] | 32 | config SANDBOX_TPL |
| 33 | bool "Enable TPL for sandbox" |
| 34 | select SUPPORT_TPL |
| 35 | |
| 36 | config SANDBOX_VPL |
| 37 | bool "Enable VPL for sandbox" |
| 38 | select SUPPORT_VPL |
| 39 | |
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 40 | config SYS_CONFIG_NAME |
Simon Glass | 8797b2c | 2016-07-04 11:57:54 -0600 | [diff] [blame] | 41 | default "sandbox_spl" if SANDBOX_SPL |
| 42 | default "sandbox" if !SANDBOX_SPL |
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 43 | |
Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 44 | config HOST_32BIT |
Michal Suchanek | 5bde2e0 | 2022-10-14 22:52:33 +0200 | [diff] [blame] | 45 | def_bool ! $(cc-define,_LP64) |
Bin Meng | 98cff66 | 2017-08-01 16:33:33 -0700 | [diff] [blame] | 46 | |
Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 47 | config HOST_64BIT |
Michal Suchanek | 5bde2e0 | 2022-10-14 22:52:33 +0200 | [diff] [blame] | 48 | def_bool $(cc-define,_LP64) |
Bin Meng | 98cff66 | 2017-08-01 16:33:33 -0700 | [diff] [blame] | 49 | |
Tom Rini | d948c89 | 2022-11-19 18:45:43 -0500 | [diff] [blame] | 50 | config HOST_HAS_SDL |
| 51 | def_bool $(success,sdl2-config --version) |
| 52 | |
| 53 | config SANDBOX_SDL |
| 54 | bool "Enable SDL2 support in sandbox" |
| 55 | default HOST_HAS_SDL |
| 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 |
Heinrich Schuchardt | 7b2d32a | 2024-02-12 09:37:30 +0100 | [diff] [blame] | 61 | sandbox exits with an error by default. |
| 62 | |
| 63 | If the u-boot binary is invoked with --signals (or -S), U-Boot will |
| 64 | handle the signal writing a crash dump before exiting. |
| 65 | |
| 66 | If you additionally set the CONFIG_SANDBOX_CRASH_RESET flag, the |
| 67 | sandbox is reset after writing the crash dump. This may be useful |
| 68 | when running test suites like the UEFI self certification test which |
| 69 | continue with the next test after a crash. |
Heinrich Schuchardt | b46f30a | 2020-11-12 00:29:56 +0100 | [diff] [blame] | 70 | |
Bin Meng | 226b50b | 2017-08-01 16:33:34 -0700 | [diff] [blame] | 71 | config SANDBOX_BITS_PER_LONG |
| 72 | int |
Mario Six | c6b89f3 | 2018-02-12 08:05:57 +0100 | [diff] [blame] | 73 | default 32 if HOST_32BIT |
| 74 | default 64 if HOST_64BIT |
Bin Meng | 226b50b | 2017-08-01 16:33:34 -0700 | [diff] [blame] | 75 | |
Simon Glass | 5ae2578 | 2021-11-24 09:26:41 -0700 | [diff] [blame] | 76 | config SYS_FDT_LOAD_ADDR |
| 77 | hex "Address at which to load devicetree" |
| 78 | default 0x100 |
| 79 | help |
| 80 | With sandbox the devicetree is loaded into the emulated RAM. This sets |
| 81 | the address that is used. There must be enough space at this address |
| 82 | to load the full devicetree without it overwriting anything else. |
| 83 | |
| 84 | See `doc/arch/sandbox.rst` for more information. |
| 85 | |
Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 86 | endmenu |
Sughosh Ganu | 873cf8a | 2022-10-21 18:16:05 +0530 | [diff] [blame] | 87 | |
| 88 | config FWU_NUM_BANKS |
| 89 | default 2 |
| 90 | |
| 91 | config FWU_NUM_IMAGES_PER_BANK |
| 92 | default 2 |