1# SPDX-License-Identifier: Apache-2.0
2
3CONFIG_CONSOLE=y
4CONFIG_SERIAL=y
5CONFIG_UART_SIFIVE_PORT_0=y
6CONFIG_UART_CONSOLE=y
7CONFIG_XIP=n
8CONFIG_RV_BOOT_HART=1
9CONFIG_FLOAT_HARD=y
10