config.mk 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475
  1. #
  2. # SPDX-License-Identifier: BSD-2-Clause
  3. #
  4. # Copyright (c) 2019 Western Digital Corporation or its affiliates.
  5. #
  6. # Compiler pre-processor flags
  7. platform-cppflags-y =
  8. # C Compiler and assembler flags.
  9. platform-cflags-y =
  10. platform-asflags-y =
  11. # Linker flags: additional libraries and object files that the platform
  12. # code needs can be added here
  13. platform-ldflags-y =
  14. #
  15. # Command for platform specific "make run"
  16. # Useful for development and debugging on plaftform simulator (such as QEMU)
  17. #
  18. # platform-runcmd = your_platform_run.sh
  19. #
  20. # Platform RISC-V XLEN, ABI, ISA and Code Model configuration.
  21. # These are optional parameters but platforms can optionaly provide it.
  22. # Some of these are guessed based on GCC compiler capabilities
  23. #
  24. # PLATFORM_RISCV_XLEN = 64
  25. # PLATFORM_RISCV_ABI = lp64
  26. # PLATFORM_RISCV_ISA = rv64imafdc
  27. # PLATFORM_RISCV_CODE_MODEL = medany
  28. # Firmware load address configuration. This is mandatory.
  29. FW_TEXT_START=0x80000000
  30. #
  31. # Dynamic firmware configuration.
  32. # Optional parameters are commented out. Uncomment and define these parameters
  33. # as needed.
  34. #
  35. FW_DYNAMIC=<y|n>
  36. #
  37. # Jump firmware configuration.
  38. # Optional parameters are commented out. Uncomment and define these parameters
  39. # as needed.
  40. #
  41. FW_JUMP=<y|n>
  42. # This needs to be 4MB aligned for 32-bit support
  43. # This needs to be 2MB aligned for 64-bit support
  44. # ifeq ($(PLATFORM_RISCV_XLEN), 32)
  45. # FW_JUMP_ADDR=0x80400000
  46. # else
  47. # FW_JUMP_ADDR=0x80200000
  48. # endif
  49. # FW_JUMP_FDT_ADDR=0x82200000
  50. #
  51. # Firmware with payload configuration.
  52. # Optional parameters are commented out. Uncomment and define these parameters
  53. # as needed.
  54. #
  55. FW_PAYLOAD=<y|n>
  56. # This needs to be 4MB aligned for 32-bit support
  57. # This needs to be 2MB aligned for 64-bit support
  58. ifeq ($(PLATFORM_RISCV_XLEN), 32)
  59. FW_PAYLOAD_OFFSET=0x400000
  60. else
  61. FW_PAYLOAD_OFFSET=0x200000
  62. endif
  63. # FW_PAYLOAD_ALIGN=0x1000
  64. # FW_PAYLOAD_PATH="path to next boot stage binary image file"
  65. # FW_PAYLOAD_FDT_PATH="path to platform flattened device tree file"
  66. # FW_PAYLOAD_FDT_ADDR=0x82200000