4 CONFIG_HIGH_RES_TIMERS=y
13 CONFIG_CHECKPOINT_RESTORE=y
14 CONFIG_BLK_DEV_INITRD=y
20 CONFIG_MODULE_UNLOAD=y
26 CONFIG_IP_ADVANCED_ROUTER=y
33 CONFIG_NET_9P_VIRTIO=y
36 CONFIG_PCI_HOST_GENERIC=y
39 CONFIG_DEVTMPFS_MOUNT=y
47 CONFIG_SATA_AHCI_PLATFORM=y
53 CONFIG_MICROSEMI_PHY=y
54 CONFIG_INPUT_MOUSEDEV=y
56 CONFIG_SERIAL_8250_CONSOLE=y
57 CONFIG_SERIAL_OF_PLATFORM=y
58 CONFIG_SERIAL_EARLYCON_RISCV_SBI=y
59 CONFIG_HVC_RISCV_SBI=y
60 CONFIG_VIRTIO_CONSOLE=y
62 CONFIG_HW_RANDOM_VIRTIO=y
65 # CONFIG_PTP_1588_CLOCK is not set
68 CONFIG_DRM_VIRTIO_GPU=y
69 CONFIG_FRAMEBUFFER_CONSOLE=y
72 CONFIG_USB_XHCI_PLATFORM=y
74 CONFIG_USB_EHCI_HCD_PLATFORM=y
76 CONFIG_USB_OHCI_HCD_PLATFORM=y
82 CONFIG_VIRTIO_BALLOON=y
88 CONFIG_EXT4_FS_POSIX_ACL=y
93 CONFIG_TMPFS_POSIX_ACL=y
100 CONFIG_CRYPTO_USER_API_HASH=y
101 CONFIG_CRYPTO_DEV_VIRTIO=y
104 CONFIG_DEBUG_PAGEALLOC=y
106 CONFIG_DEBUG_VM_PGFLAGS=y
107 CONFIG_DEBUG_MEMORY_INIT=y
108 CONFIG_DEBUG_PER_CPU_MAPS=y
109 CONFIG_SOFTLOCKUP_DETECTOR=y
111 CONFIG_SCHED_STACK_END_CHECK=y
112 CONFIG_DEBUG_TIMEKEEPING=y
113 CONFIG_DEBUG_RT_MUTEXES=y
114 CONFIG_DEBUG_SPINLOCK=y
115 CONFIG_DEBUG_MUTEXES=y
116 CONFIG_DEBUG_RWSEMS=y
117 CONFIG_DEBUG_ATOMIC_SLEEP=y
122 # CONFIG_RCU_TRACE is not set
123 CONFIG_RCU_EQS_DEBUG=y
124 CONFIG_DEBUG_BLOCK_EXT_DEVT=y
125 # CONFIG_FTRACE is not set
126 # CONFIG_RUNTIME_TESTING_MENU is not set