| CONFIG_ARCH_RV32I=y | |
| CONFIG_SMP=y | |
| CONFIG_NR_CPUS=8 | |
| CONFIG_PCI=y | |
| CONFIG_SYSVIPC=y | |
| CONFIG_NET=y | |
| CONFIG_PACKET=y | |
| CONFIG_UNIX=y | |
| CONFIG_INET=y | |
| # CONFIG_WIRELESS is not set | |
| CONFIG_VIRTIO_BLK=y | |
| CONFIG_NETDEVICES=y | |
| CONFIG_VIRTIO_NET=y | |
| # CONFIG_ETHERNET is not set | |
| # CONFIG_WLAN is not set | |
| CONFIG_SERIAL_8250=y | |
| CONFIG_SERIAL_8250_CONSOLE=y | |
| CONFIG_SERIAL_OF_PLATFORM=y | |
| CONFIG_VIRT_DRIVERS=y | |
| CONFIG_VIRTIO_MMIO=y | |
| CONFIG_EXT2_FS=y | |
| CONFIG_EXT4_FS=y | |
| CONFIG_TMPFS=y |