forked from Mirrors/opensbi
127a3f2ab4
Andes PLIC is compatible with plic driver. The PLIC base address and number of source can be obtained by parsing the device tree. Signed-off-by: Yu Chien Peter Lin <peterlin@andestech.com> Reviewed-by: Leo Yu-Chi Liang <ycliang@andestech.com> Reviewed-by: Anup Patel <anup@brainfault.org>
33 lines
588 B
Plaintext
33 lines
588 B
Plaintext
# SPDX-License-Identifier: BSD-2-Clause
|
|
|
|
config PLATFORM_ANDES_AE350
|
|
bool
|
|
select FDT
|
|
select FDT_SERIAL
|
|
select FDT_SERIAL_UART8250
|
|
select FDT_TIMER
|
|
select FDT_TIMER_PLMT
|
|
select FDT_RESET
|
|
select FDT_RESET_ATCWDT200
|
|
select FDT_IRQCHIP
|
|
select FDT_IRQCHIP_PLIC
|
|
default y
|
|
|
|
if PLATFORM_ANDES_AE350
|
|
|
|
config PLATFORM_ANDES_AE350_NAME
|
|
string "Platform default name"
|
|
default "Andes AE350"
|
|
|
|
config PLATFORM_ANDES_AE350_MAJOR_VER
|
|
int "Platform major version"
|
|
range 0 65535
|
|
default 0
|
|
|
|
config PLATFORM_ANDES_AE350_MINOR_VER
|
|
int "Platform minor version"
|
|
range 0 65535
|
|
default 1
|
|
|
|
endif
|