Home Explore Help
Register Sign In
RD_Software
/
ark1668ed-bsp
2
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
ark1668ed-bsp
/
u-boot
/
arch
/
sandbox
/
Kconfig

Kconfig 1.9 KB
Permalink History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687 
  1. menu "Sandbox architecture"
    2. 

  2. 	depends on SANDBOX
    3. 

  3. 

  4. config SYS_ARCH
    5. 

  5. 	default "sandbox"
    6. 

  6. 

  7. config SYS_BOARD
    8. 

  8. 	default "sandbox"
    9. 

  9. 

  10. config SYS_CPU
    11. 

  11. 	default "sandbox"
    12. 

  12. 

  13. config SANDBOX64
    14. 

  14. 	bool "Use 64-bit addresses"
    15. 

  15. 	select PHYS_64BIT
    16. 

  16. 	depends on HOST_64BIT
    17. 

  17. 

  18. config SANDBOX_RAM_SIZE_MB
    19. 

  19. 	int "RAM size in MiB"
    20. 

  20. 	default 256
    21. 

  21. 	range 64 4095 if !SANDBOX64
    22. 

  22. 	range 64 268435456 if SANDBOX64
    23. 

  23. 	help
    24. 

  24. 	  Memory size of the sandbox in MiB. The default value is 256 MiB.
    25. 

  25. 	  The minimum value is 64 MiB. The maximum value is 4095 MiB for the
    26. 

  26. 	  32bit sandbox.
    27. 

  27. 

  28. config SANDBOX_SPL
    29. 

  29. 	bool "Enable SPL for sandbox"
    30. 

  30. 	select SUPPORT_SPL
    31. 

  31. 

  32. config SANDBOX_TPL
    33. 

  33. 	bool "Enable TPL for sandbox"
    34. 

  34. 	select SUPPORT_TPL
    35. 

  35. 

  36. config SANDBOX_VPL
    37. 

  37. 	bool "Enable VPL for sandbox"
    38. 

  38. 	select SUPPORT_VPL
    39. 

  39. 

  40. config SYS_CONFIG_NAME
    41. 

  41. 	default "sandbox_spl" if SANDBOX_SPL
    42. 

  42. 	default "sandbox" if !SANDBOX_SPL
    43. 

  43. 

  44. config HOST_32BIT
    45. 

  45. 	def_bool ! $(cc-define,_LP64)
    46. 

  46. 

  47. config HOST_64BIT
    48. 

  48. 	def_bool $(cc-define,_LP64)
    49. 

  49. 

  50. config HOST_HAS_SDL
    51. 

  51. 	def_bool $(success,sdl2-config --version)
    52. 

  52. 

  53. config SANDBOX_SDL
    54. 

  54. 	bool "Enable SDL2 support in sandbox"
    55. 

  55. 	default HOST_HAS_SDL
    56. 

  56. 

  57. config SANDBOX_CRASH_RESET
    58. 

  58. 	bool "Reset on crash"
    59. 

  59. 	help
    60. 

  60. 	  If an illegal instruction or an illegal memory access occurs, the
    61. 

  61. 	  sandbox by default writes a crash dump and exits. If you set this
    62. 

  62. 	  flag, the sandbox is reset instead. This may be useful when running
    63. 

  63. 	  test suites like the UEFI self certification test which continue
    64. 

  64. 	  with the next test after a crash.
    65. 

  65. 

  66. config SANDBOX_BITS_PER_LONG
    67. 

  67. 	int
    68. 

  68. 	default 32 if HOST_32BIT
    69. 

  69. 	default 64 if HOST_64BIT
    70. 

  70. 

  71. config SYS_FDT_LOAD_ADDR
    72. 

  72. 	hex "Address at which to load devicetree"
    73. 

  73. 	default 0x100
    74. 

  74. 	help
    75. 

  75. 	  With sandbox the devicetree is loaded into the emulated RAM. This sets
    76. 

  76. 	  the address that is used. There must be enough space at this address
    77. 

  77. 	  to load the full devicetree without it overwriting anything else.
    78. 

  78. 

  79. 	  See `doc/arch/sandbox.rst` for more information.
    80. 

  80. 

  81. endmenu
    82. 

  82. 

  83. config FWU_NUM_BANKS
    84. 

  84. 	default 2
    85. 

  85. 

  86. config FWU_NUM_IMAGES_PER_BANK
    87. 

  87. 	default 2
    88.