4 CONFIG_HIGH_RES_TIMERS=y
10 CONFIG_CFS_BANDWIDTH=y
14 CONFIG_CHECKPOINT_RESTORE=y
15 CONFIG_BLK_DEV_INITRD=y
17 # CONFIG_SYSFS_SYSCALL is not set
18 CONFIG_SOC_MICROCHIP_POLARFIRE=y
25 CONFIG_VIRTUALIZATION=y
29 CONFIG_MODULE_UNLOAD=y
35 CONFIG_IP_ADVANCED_ROUTER=y
42 CONFIG_NET_9P_VIRTIO=y
45 CONFIG_PCI_HOST_GENERIC=y
49 CONFIG_DEVTMPFS_MOUNT=y
58 CONFIG_SATA_AHCI_PLATFORM=y
64 CONFIG_MICROSEMI_PHY=y
65 CONFIG_INPUT_MOUSEDEV=y
67 CONFIG_SERIAL_8250_CONSOLE=y
68 CONFIG_SERIAL_OF_PLATFORM=y
69 CONFIG_SERIAL_EARLYCON_RISCV_SBI=y
70 CONFIG_HVC_RISCV_SBI=y
71 CONFIG_VIRTIO_CONSOLE=y
73 CONFIG_HW_RANDOM_VIRTIO=y
76 # CONFIG_PTP_1588_CLOCK is not set
82 CONFIG_DRM_VIRTIO_GPU=m
84 CONFIG_FRAMEBUFFER_CONSOLE=y
87 CONFIG_USB_XHCI_PLATFORM=y
89 CONFIG_USB_EHCI_HCD_PLATFORM=y
91 CONFIG_USB_OHCI_HCD_PLATFORM=y
96 CONFIG_MMC_SDHCI_PLTFM=y
97 CONFIG_MMC_SDHCI_CADENCE=y
101 CONFIG_VIRTIO_BALLOON=y
102 CONFIG_VIRTIO_INPUT=y
105 CONFIG_RPMSG_VIRTIO=y
107 CONFIG_EXT4_FS_POSIX_ACL=y
112 CONFIG_TMPFS_POSIX_ACL=y
120 CONFIG_NLS_CODEPAGE_437=y
121 CONFIG_NLS_ISO8859_1=m
122 CONFIG_CRYPTO_USER_API_HASH=y
123 CONFIG_CRYPTO_DEV_VIRTIO=y
126 CONFIG_DEBUG_PAGEALLOC=y
127 CONFIG_SCHED_STACK_END_CHECK=y
129 CONFIG_DEBUG_VM_PGFLAGS=y
130 CONFIG_DEBUG_MEMORY_INIT=y
131 CONFIG_DEBUG_PER_CPU_MAPS=y
132 CONFIG_SOFTLOCKUP_DETECTOR=y
134 CONFIG_DEBUG_TIMEKEEPING=y
135 CONFIG_DEBUG_RT_MUTEXES=y
136 CONFIG_DEBUG_SPINLOCK=y
137 CONFIG_DEBUG_MUTEXES=y
138 CONFIG_DEBUG_RWSEMS=y
139 CONFIG_DEBUG_ATOMIC_SLEEP=y
144 # CONFIG_RCU_TRACE is not set
145 CONFIG_RCU_EQS_DEBUG=y
146 # CONFIG_FTRACE is not set
147 # CONFIG_RUNTIME_TESTING_MENU is not set