Kconfig 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. menu "Sandbox architecture"
  2. depends on SANDBOX
  3. config SYS_ARCH
  4. default "sandbox"
  5. config SYS_BOARD
  6. default "sandbox"
  7. config SYS_CPU
  8. default "sandbox"
  9. config SANDBOX64
  10. bool "Use 64-bit addresses"
  11. select PHYS_64BIT
  12. select HOST_64BIT
  13. config SANDBOX_RAM_SIZE_MB
  14. int "RAM size in MiB"
  15. default 128
  16. range 64 4095 if !SANDBOX64
  17. range 64 268435456 if SANDBOX64
  18. help
  19. Memory size of the sandbox in MiB. The default value is 128 MiB.
  20. The minimum value is 64 MiB. The maximum value is 4095 MiB for the
  21. 32bit sandbox.
  22. config SANDBOX_SPL
  23. bool "Enable SPL for sandbox"
  24. select SUPPORT_SPL
  25. config SYS_CONFIG_NAME
  26. default "sandbox_spl" if SANDBOX_SPL
  27. default "sandbox" if !SANDBOX_SPL
  28. choice
  29. prompt "Run sandbox on 32/64-bit host"
  30. default HOST_64BIT
  31. help
  32. Sandbox can be built on 32-bit and 64-bit hosts.
  33. The default is to build on a 64-bit host and run
  34. on a 64-bit host. If you want to run sandbox on
  35. a 32-bit host, change it here.
  36. config HOST_32BIT
  37. bool "32-bit host"
  38. depends on !PHYS_64BIT
  39. config HOST_64BIT
  40. bool "64-bit host"
  41. endchoice
  42. config SANDBOX_BITS_PER_LONG
  43. int
  44. default 32 if HOST_32BIT
  45. default 64 if HOST_64BIT
  46. endmenu