Kconfig 181 B

12345678910
  1. # SPDX-License-Identifier: BSD-2-Clause
  2. config PLATFORM_ARIANE_FPGA
  3. bool
  4. select FDT
  5. select IPI_MSWI
  6. select IRQCHIP_PLIC
  7. select SERIAL_UART8250
  8. select TIMER_MTIMER
  9. default y