# # SPDX-License-Identifier: BSD-2-Clause # # Copyright (c) 2019 Western Digital Corporation or its affiliates. # # Compiler pre-processor flags platform-cppflags-y = # C Compiler and assembler flags. # For a 64 bits platform, this will likely be: # -mabi=lp64 -march=rv64imafdc -mcmodel=medany # For a 32 bits platform, this will likely be: # -mabi=lp32 -march=rv32imafdc -mcmodel=medlow # You can also use the Makefile variable OPENSBI_CC_XLEN for the xlen # See the QEMU virt machine for an example of this platform-cflags-y = -mabi=lp64 -march=rv64imafdc -mcmodel=medany platform-asflags-y = -mabi=lp64 -march=rv64imafdc -mcmodel=medany # Linker flags: additional libraries and object files that the platform # code needs can be added here platform-ldflags-y = # # OpenSBI implements generic drivers for some common generic hardware. The # drivers currently available are the RISC-V Platform Level Interrupt # Controller (PLIC), RISC-V Core Local Interrupt controller (CLINT) and a UART # 8250 compliant serial line driver (UART8250). The following definitions allow # enabling the use of these generic drivers for the platform. # # PLATFORM_IRQCHIP_PLIC= # PLATFORM_SYS_CLINT= # PLATFORM_SERIAL_UART8250= # Firmware load address configuration. This is mandatory. FW_TEXT_START=0x80000000 # # Jump firmware configuration. # Optional parameters are commented out. Uncomment and define these parameters # as needed. # FW_JUMP= FW_JUMP_ADDR=0x80200000 # FW_JUMP_FDT_ADDR=0x82200000 # # Firmware with payload configuration. # Optional parameters are commented out. Uncomment and define these parameters # as needed. # FW_PAYLOAD= FW_PAYLOAD_OFFSET=0x200000 # FW_PAYLOAD_ALIGN=0x1000 # FW_PAYLOAD_PATH="path to next boot stage binary image file" # FW_PAYLOAD_FDT_PATH="path to platform flattened device tree file" # FW_PAYLOAD_FDT="name of the platform defined flattened device tree file" # FW_PAYLOAD_FDT_ADDR=0x82200000 # # Allow linking against static libc for standard functions (memset, memcpy, etc) # # PLATFORM_INCLUDE_LIBC=y