|
@@ -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
|