Kconfig 407 B

12345678910111213141516
  1. # SPDX-License-Identifier: BSD-2-Clause
  2. #
  3. # All mandatory drivers or libraries for this platform should
  4. # be directly selected by the PLATFORM_xyz kconfig symbol.
  5. #
  6. # All optional drivers or libraries for this platform should
  7. # be enabled via configs/defconfig of this platform.
  8. #
  9. config PLATFORM_TEMPLATE
  10. bool
  11. select IPI_MSWI
  12. select IRQCHIP_PLIC
  13. select SERIAL_UART8250
  14. select TIMER_MTIMER
  15. default y