Kconfig 881 B

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849
  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_SPL
  14. bool "Enable SPL for sandbox"
  15. select SUPPORT_SPL
  16. config SYS_CONFIG_NAME
  17. default "sandbox_spl" if SANDBOX_SPL
  18. default "sandbox" if !SANDBOX_SPL
  19. choice
  20. prompt "Run sandbox on 32/64-bit host"
  21. default HOST_64BIT
  22. help
  23. Sandbox can be built on 32-bit and 64-bit hosts.
  24. The default is to build on a 64-bit host and run
  25. on a 64-bit host. If you want to run sandbox on
  26. a 32-bit host, change it here.
  27. config HOST_32BIT
  28. bool "32-bit host"
  29. depends on !PHYS_64BIT
  30. config HOST_64BIT
  31. bool "64-bit host"
  32. endchoice
  33. config SANDBOX_BITS_PER_LONG
  34. int
  35. default 32 if HOST_32BIT
  36. default 64 if HOST_64BIT
  37. endmenu