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
34 CONFIG_PCI_HOST_GENERIC=y
43 CONFIG_SATA_AHCI_PLATFORM=y
49 CONFIG_MICROSEMI_PHY=y
50 CONFIG_INPUT_MOUSEDEV=y
52 CONFIG_SERIAL_8250_CONSOLE=y
53 CONFIG_SERIAL_OF_PLATFORM=y
54 CONFIG_SERIAL_EARLYCON_RISCV_SBI=y
55 CONFIG_HVC_RISCV_SBI=y
56 # CONFIG_PTP_1588_CLOCK is not set
59 CONFIG_FRAMEBUFFER_CONSOLE=y
62 CONFIG_USB_XHCI_PLATFORM=y
64 CONFIG_USB_EHCI_HCD_PLATFORM=y
66 CONFIG_USB_OHCI_HCD_PLATFORM=y
72 CONFIG_EXT4_FS_POSIX_ACL=y
77 CONFIG_TMPFS_POSIX_ACL=y
83 CONFIG_CRYPTO_USER_API_HASH=y
84 CONFIG_CRYPTO_DEV_VIRTIO=y
86 # CONFIG_RCU_TRACE is not set