4 CONFIG_LOG_BUF_SHIFT=14
6 CONFIG_BLK_DEV_INITRD=y
7 CONFIG_OPENRISC_HAVE_INST_CMOV=y
8 CONFIG_OPENRISC_HAVE_INST_ROR=y
9 CONFIG_OPENRISC_HAVE_INST_RORI=y
10 CONFIG_OPENRISC_HAVE_INST_SEXT=y
14 # CONFIG_OPENRISC_NO_SPR_SR_DSX is not set
15 # CONFIG_COMPAT_BRK is not set
20 # CONFIG_INET_DIAG is not set
21 CONFIG_TCP_CONG_ADVANCED=y
22 # CONFIG_TCP_CONG_BIC is not set
23 # CONFIG_TCP_CONG_CUBIC is not set
24 # CONFIG_TCP_CONG_WESTWOOD is not set
25 # CONFIG_TCP_CONG_HTCP is not set
26 # CONFIG_IPV6 is not set
27 # CONFIG_WIRELESS is not set
30 CONFIG_PCI_HOST_GENERIC=y
32 CONFIG_DEVTMPFS_MOUNT=y
33 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
41 # CONFIG_WLAN is not set
42 CONFIG_INPUT_MOUSEDEV=y
43 # CONFIG_LEGACY_PTYS is not set
45 CONFIG_SERIAL_8250_CONSOLE=y
46 CONFIG_SERIAL_OF_PLATFORM=y
47 CONFIG_VIRTIO_CONSOLE=y
48 # CONFIG_HW_RANDOM is not set
50 CONFIG_POWER_RESET_SYSCON=y
51 CONFIG_POWER_RESET_SYSCON_POWEROFF=y
52 CONFIG_SYSCON_REBOOT_MODE=y
53 # CONFIG_HWMON is not set
55 # CONFIG_DRM_FBDEV_EMULATION is not set
56 CONFIG_DRM_VIRTIO_GPU=y
58 CONFIG_FIRMWARE_EDID=y
59 CONFIG_FRAMEBUFFER_CONSOLE=y
60 CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
65 CONFIG_SND_INTEL8X0M=y
68 # CONFIG_HID_A4TECH is not set
69 # CONFIG_HID_BELKIN is not set
70 # CONFIG_HID_CHERRY is not set
71 # CONFIG_HID_CHICONY is not set
72 # CONFIG_HID_CYPRESS is not set
73 # CONFIG_HID_EZKEY is not set
74 # CONFIG_HID_ITE is not set
75 # CONFIG_HID_KENSINGTON is not set
76 # CONFIG_HID_REDRAGON is not set
77 # CONFIG_HID_MICROSOFT is not set
78 # CONFIG_HID_MONTEREY is not set
81 CONFIG_USB_XHCI_PLATFORM=y
83 CONFIG_USB_EHCI_HCD_PLATFORM=y
85 CONFIG_USB_OHCI_HCD_PLATFORM=y
90 CONFIG_RTC_DRV_GOLDFISH=y
93 # CONFIG_VIRTIO_PCI_LEGACY is not set
96 CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y
98 CONFIG_EXT3_FS_POSIX_ACL=y
99 # CONFIG_DNOTIFY is not set
107 CONFIG_DYNAMIC_DEBUG=y