| CONFIG_SOC_SERIES_RISCV_SIFIVE_FREEDOM=y | |
| CONFIG_SOC_RISCV_SIFIVE_FREEDOM=y | |
| CONFIG_BOARD_HIFIVE1_REVB=y | |
| CONFIG_RISCV_MACHINE_TIMER=y | |
| CONFIG_PLIC=y | |
| CONFIG_GPIO=y | |
| CONFIG_GPIO_SIFIVE=y | |
| CONFIG_PINMUX=y | |
| CONFIG_PINMUX_SIFIVE=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_PRINTK=y | |
| CONFIG_SERIAL=y | |
| CONFIG_UART_SIFIVE=y | |
| CONFIG_UART_SIFIVE_PORT_0=y | |
| CONFIG_UART_CONSOLE=y | |
| CONFIG_BOOT_BANNER=y | |
| CONFIG_CORE_E31=y |