menu "SoC selection" config SOC_SIFIVE bool "SiFive SoCs" select SERIAL_SIFIVE select SERIAL_SIFIVE_CONSOLE select CLK_SIFIVE select CLK_SIFIVE_FU540_PRCI select SIFIVE_PLIC help This enables support for SiFive SoC platform hardware. endmenu