Sign in
qemu
/
opensbi
/
4d8569df7bd73238d8a02bb5ec850ed3c3c97093
/
.
/
platform
/
nuclei
/
ux600
/
Kconfig
blob: 84d74e8bf5fa75feb41668b5df9ce5d433fbf9e2 [
file
] [
log
] [
blame
]
# SPDX-License-Identifier: BSD-2-Clause
config PLATFORM_NUCLEI_UX600
bool
select
FDT
select
IPI_MSWI
select
IRQCHIP_PLIC
select
SERIAL_SIFIVE
select
TIMER_MTIMER
default
y