Kconfig 1.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768
  1. # SPDX-License-Identifier: GPL-2.0+
  2. if ARCH_VERSAL
  3. config SYS_BOARD
  4. string "Board name"
  5. default "versal"
  6. config SYS_VENDOR
  7. string "Vendor name"
  8. default "xilinx"
  9. config SYS_SOC
  10. default "versal"
  11. config SYS_CONFIG_NAME
  12. string "Board configuration name"
  13. default "xilinx_versal"
  14. help
  15. This option contains information about board configuration name.
  16. Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header
  17. will be used for board configuration.
  18. config GICV3
  19. def_bool y
  20. config SYS_MALLOC_LEN
  21. default 0x2000000
  22. config COUNTER_FREQUENCY
  23. int "Timer clock frequency"
  24. default 0
  25. help
  26. Setup time clock frequency for certain platform
  27. config ZYNQ_SDHCI_MAX_FREQ
  28. default 200000000
  29. config IOU_SWITCH_DIVISOR0
  30. hex "IOU switch divisor0"
  31. default 0x20
  32. help
  33. Setup time clock divisor for input clock.
  34. config SYS_MEM_RSVD_FOR_MMU
  35. bool "Reserve memory for MMU Table"
  36. help
  37. If defined this option is used to setup different space for
  38. MMU table than the one which will be allocated during
  39. relocation.
  40. config DEFINE_TCM_OCM_MMAP
  41. bool "Define TCM and OCM memory in MMU Table"
  42. default y if MP
  43. help
  44. This option if enabled defines the TCM and OCM memory and its
  45. memory attributes in MMU table entry.
  46. config VERSAL_NO_DDR
  47. bool "Disable DDR MMU mapping"
  48. help
  49. This option configures MMU with no DDR to avoid speculative
  50. access to DDR memory where DDR is not present.
  51. source "board/xilinx/Kconfig"
  52. source "board/xilinx/versal/Kconfig"
  53. endif