1menu "SoC selection"
2
3config SOC_SIFIVE
4 bool "SiFive SoCs"
5 select SERIAL_SIFIVE
6 select SERIAL_SIFIVE_CONSOLE
7 select CLK_SIFIVE
8 select CLK_SIFIVE_FU540_PRCI
9 select SIFIVE_PLIC
10 help
11 This enables support for SiFive SoC platform hardware.
12
13endmenu
14