CONFIG_RISCV=y
CONFIG_32BIT=y
CONFIG_COMPAT_32BIT_TIME=y
CONFIG_ARCH_RV32I=y
CONFIG_SOC_VIRT=y
CONFIG_NONPORTABLE=y
CONFIG_VIRTIO_BLK=y
CONFIG_SERIAL_8250=y
CONFIG_SERIAL_8250_CONSOLE=y
CONFIG_SERIAL_OF_PLATFORM=y
CONFIG_VIRTIO_MMIO=y
CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y
