diff options
Diffstat (limited to 'platform/template/config.mk')
| -rw-r--r-- | platform/template/config.mk | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/platform/template/config.mk b/platform/template/config.mk index 5ba8efc..70f2db8 100644 --- a/platform/template/config.mk +++ b/platform/template/config.mk @@ -31,17 +31,6 @@ platform-ldflags-y = # PLATFORM_RISCV_ISA = rv64imafdc # PLATFORM_RISCV_CODE_MODEL = medany -# -# 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=<y|n> -# PLATFORM_SYS_CLINT=<y|n> -# PLATFORM_SERIAL_UART8250=<y|n> - # Firmware load address configuration. This is mandatory. FW_TEXT_START=0x80000000 @@ -85,8 +74,3 @@ endif # 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 |