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