1CONFIG_SYSVIPC=y
2CONFIG_POSIX_MQUEUE=y
3CONFIG_NO_HZ_IDLE=y
4CONFIG_HIGH_RES_TIMERS=y
5CONFIG_BPF_SYSCALL=y
6CONFIG_IKCONFIG=y
7CONFIG_IKCONFIG_PROC=y
8CONFIG_CGROUPS=y
9CONFIG_CGROUP_SCHED=y
10CONFIG_CFS_BANDWIDTH=y
11CONFIG_CGROUP_BPF=y
12CONFIG_NAMESPACES=y
13CONFIG_USER_NS=y
14CONFIG_CHECKPOINT_RESTORE=y
15CONFIG_BLK_DEV_INITRD=y
16CONFIG_EXPERT=y
17# CONFIG_SYSFS_SYSCALL is not set
18CONFIG_PROFILING=y
19CONFIG_SOC_SIFIVE=y
20CONFIG_SOC_VIRT=y
21CONFIG_NONPORTABLE=y
22CONFIG_ARCH_RV32I=y
23CONFIG_SMP=y
24CONFIG_HOTPLUG_CPU=y
25CONFIG_PM=y
26CONFIG_CPU_IDLE=y
27CONFIG_VIRTUALIZATION=y
28CONFIG_KVM=m
29CONFIG_JUMP_LABEL=y
30CONFIG_MODULES=y
31CONFIG_MODULE_UNLOAD=y
32CONFIG_NET=y
33CONFIG_PACKET=y
34CONFIG_UNIX=y
35CONFIG_INET=y
36CONFIG_IP_MULTICAST=y
37CONFIG_IP_ADVANCED_ROUTER=y
38CONFIG_IP_PNP=y
39CONFIG_IP_PNP_DHCP=y
40CONFIG_IP_PNP_BOOTP=y
41CONFIG_IP_PNP_RARP=y
42CONFIG_NETLINK_DIAG=y
43CONFIG_NET_9P=y
44CONFIG_NET_9P_VIRTIO=y
45CONFIG_PCI=y
46CONFIG_PCIEPORTBUS=y
47CONFIG_PCI_HOST_GENERIC=y
48CONFIG_PCIE_XILINX=y
49CONFIG_DEVTMPFS=y
50CONFIG_DEVTMPFS_MOUNT=y
51CONFIG_BLK_DEV_LOOP=y
52CONFIG_VIRTIO_BLK=y
53CONFIG_BLK_DEV_SD=y
54CONFIG_BLK_DEV_SR=y
55CONFIG_SCSI_VIRTIO=y
56CONFIG_ATA=y
57CONFIG_SATA_AHCI=y
58CONFIG_SATA_AHCI_PLATFORM=y
59CONFIG_NETDEVICES=y
60CONFIG_VIRTIO_NET=y
61CONFIG_MACB=y
62CONFIG_E1000E=y
63CONFIG_R8169=y
64CONFIG_MICROSEMI_PHY=y
65CONFIG_INPUT_MOUSEDEV=y
66CONFIG_SERIAL_8250=y
67CONFIG_SERIAL_8250_CONSOLE=y
68CONFIG_SERIAL_OF_PLATFORM=y
69CONFIG_VIRTIO_CONSOLE=y
70CONFIG_HW_RANDOM=y
71CONFIG_HW_RANDOM_VIRTIO=y
72CONFIG_SPI=y
73CONFIG_SPI_SIFIVE=y
74# CONFIG_PTP_1588_CLOCK is not set
75CONFIG_DRM=y
76CONFIG_DRM_RADEON=y
77CONFIG_DRM_VIRTIO_GPU=y
78CONFIG_FB=y
79CONFIG_FRAMEBUFFER_CONSOLE=y
80CONFIG_USB=y
81CONFIG_USB_XHCI_HCD=y
82CONFIG_USB_XHCI_PLATFORM=y
83CONFIG_USB_EHCI_HCD=y
84CONFIG_USB_EHCI_HCD_PLATFORM=y
85CONFIG_USB_OHCI_HCD=y
86CONFIG_USB_OHCI_HCD_PLATFORM=y
87CONFIG_USB_STORAGE=y
88CONFIG_USB_UAS=y
89CONFIG_MMC=y
90CONFIG_MMC_SPI=y
91CONFIG_RTC_CLASS=y
92CONFIG_VIRTIO_PCI=y
93CONFIG_VIRTIO_BALLOON=y
94CONFIG_VIRTIO_INPUT=y
95CONFIG_VIRTIO_MMIO=y
96CONFIG_RPMSG_CHAR=y
97CONFIG_RPMSG_CTRL=y
98CONFIG_RPMSG_VIRTIO=y
99CONFIG_EXT4_FS=y
100CONFIG_EXT4_FS_POSIX_ACL=y
101CONFIG_AUTOFS4_FS=y
102CONFIG_MSDOS_FS=y
103CONFIG_VFAT_FS=y
104CONFIG_TMPFS=y
105CONFIG_TMPFS_POSIX_ACL=y
106CONFIG_HUGETLBFS=y
107CONFIG_NFS_FS=y
108CONFIG_NFS_V4=y
109CONFIG_NFS_V4_1=y
110CONFIG_NFS_V4_2=y
111CONFIG_ROOT_NFS=y
112CONFIG_9P_FS=y
113CONFIG_CRYPTO_USER_API_HASH=y
114CONFIG_CRYPTO_DEV_VIRTIO=y
115CONFIG_PRINTK_TIME=y
116CONFIG_DEBUG_FS=y
117CONFIG_DEBUG_PAGEALLOC=y
118CONFIG_SCHED_STACK_END_CHECK=y
119CONFIG_DEBUG_VM=y
120CONFIG_DEBUG_VM_PGFLAGS=y
121CONFIG_DEBUG_MEMORY_INIT=y
122CONFIG_DEBUG_PER_CPU_MAPS=y
123CONFIG_SOFTLOCKUP_DETECTOR=y
124CONFIG_WQ_WATCHDOG=y
125CONFIG_DEBUG_TIMEKEEPING=y
126CONFIG_DEBUG_RT_MUTEXES=y
127CONFIG_DEBUG_SPINLOCK=y
128CONFIG_DEBUG_MUTEXES=y
129CONFIG_DEBUG_RWSEMS=y
130CONFIG_DEBUG_ATOMIC_SLEEP=y
131CONFIG_STACKTRACE=y
132CONFIG_DEBUG_LIST=y
133CONFIG_DEBUG_PLIST=y
134CONFIG_DEBUG_SG=y
135# CONFIG_RCU_TRACE is not set
136CONFIG_RCU_EQS_DEBUG=y
137# CONFIG_FTRACE is not set
138# CONFIG_RUNTIME_TESTING_MENU is not set
139CONFIG_MEMTEST=y
140