| CONFIG_SYSVIPC=y |
| CONFIG_POSIX_MQUEUE=y |
| CONFIG_NO_HZ_IDLE=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_IKCONFIG=y |
| CONFIG_IKCONFIG_PROC=y |
| CONFIG_CGROUPS=y |
| CONFIG_CGROUP_SCHED=y |
| CONFIG_CFS_BANDWIDTH=y |
| CONFIG_CGROUP_BPF=y |
| CONFIG_NAMESPACES=y |
| CONFIG_USER_NS=y |
| CONFIG_CHECKPOINT_RESTORE=y |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_EXPERT=y |
| CONFIG_BPF_SYSCALL=y |
| CONFIG_SOC_SIFIVE=y |
| CONFIG_SMP=y |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| CONFIG_IP_MULTICAST=y |
| CONFIG_IP_ADVANCED_ROUTER=y |
| CONFIG_IP_PNP=y |
| CONFIG_IP_PNP_DHCP=y |
| CONFIG_IP_PNP_BOOTP=y |
| CONFIG_IP_PNP_RARP=y |
| CONFIG_NETLINK_DIAG=y |
| CONFIG_NET_9P=y |
| CONFIG_NET_9P_VIRTIO=y |
| CONFIG_PCI=y |
| CONFIG_PCIEPORTBUS=y |
| CONFIG_PCI_HOST_GENERIC=y |
| CONFIG_PCIE_XILINX=y |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| CONFIG_BLK_DEV_LOOP=y |
| CONFIG_VIRTIO_BLK=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_BLK_DEV_SR=y |
| CONFIG_SCSI_VIRTIO=y |
| CONFIG_ATA=y |
| CONFIG_SATA_AHCI=y |
| CONFIG_SATA_AHCI_PLATFORM=y |
| CONFIG_NETDEVICES=y |
| CONFIG_VIRTIO_NET=y |
| CONFIG_MACB=y |
| CONFIG_E1000E=y |
| CONFIG_R8169=y |
| CONFIG_MICROSEMI_PHY=y |
| CONFIG_INPUT_MOUSEDEV=y |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_SERIAL_OF_PLATFORM=y |
| CONFIG_SERIAL_EARLYCON_RISCV_SBI=y |
| CONFIG_HVC_RISCV_SBI=y |
| CONFIG_VIRTIO_CONSOLE=y |
| CONFIG_HW_RANDOM=y |
| CONFIG_HW_RANDOM_VIRTIO=y |
| CONFIG_SPI=y |
| CONFIG_SPI_SIFIVE=y |
| # CONFIG_PTP_1588_CLOCK is not set |
| CONFIG_DRM=y |
| CONFIG_DRM_RADEON=y |
| CONFIG_DRM_VIRTIO_GPU=y |
| CONFIG_FRAMEBUFFER_CONSOLE=y |
| CONFIG_USB=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_XHCI_PLATFORM=y |
| CONFIG_USB_EHCI_HCD=y |
| CONFIG_USB_EHCI_HCD_PLATFORM=y |
| CONFIG_USB_OHCI_HCD=y |
| CONFIG_USB_OHCI_HCD_PLATFORM=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_USB_UAS=y |
| CONFIG_MMC=y |
| CONFIG_MMC_SPI=y |
| CONFIG_VIRTIO_PCI=y |
| CONFIG_VIRTIO_BALLOON=y |
| CONFIG_VIRTIO_INPUT=y |
| CONFIG_VIRTIO_MMIO=y |
| CONFIG_RPMSG_CHAR=y |
| CONFIG_RPMSG_VIRTIO=y |
| CONFIG_EXT4_FS=y |
| CONFIG_EXT4_FS_POSIX_ACL=y |
| CONFIG_AUTOFS4_FS=y |
| CONFIG_MSDOS_FS=y |
| CONFIG_VFAT_FS=y |
| CONFIG_TMPFS=y |
| CONFIG_TMPFS_POSIX_ACL=y |
| CONFIG_NFS_FS=y |
| CONFIG_NFS_V4=y |
| CONFIG_NFS_V4_1=y |
| CONFIG_NFS_V4_2=y |
| CONFIG_ROOT_NFS=y |
| CONFIG_9P_FS=y |
| CONFIG_CRYPTO_USER_API_HASH=y |
| CONFIG_CRYPTO_DEV_VIRTIO=y |
| CONFIG_PRINTK_TIME=y |
| # CONFIG_RCU_TRACE is not set |
