4 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_IRQ_TIME_ACCOUNTING=y
7 CONFIG_BSD_PROCESS_ACCT=y
9 CONFIG_CGROUP_FREEZER=y
10 CONFIG_CGROUP_DEVICE=y
11 CONFIG_CGROUP_CPUACCT=y
14 CONFIG_SCHED_AUTOGROUP=y
16 CONFIG_BLK_DEV_INITRD=y
20 CONFIG_XTENSA_VARIANT_DC233C=y
21 CONFIG_XTENSA_UNALIGNED_USER=y
22 CONFIG_XTENSA_KSEG_512M=y
25 CONFIG_CMDLINE="console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug memmap=0x80000000@0"
27 CONFIG_BUILTIN_DTB_SOURCE="virt"
28 # CONFIG_PARSE_BOOTPARAM is not set
31 CONFIG_MODULE_UNLOAD=y
32 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
33 # CONFIG_COMPACTION is not set
43 # CONFIG_IPV6 is not set
45 # CONFIG_WIRELESS is not set
47 CONFIG_PCI_HOST_GENERIC=y
48 CONFIG_UEVENT_HELPER=y
50 CONFIG_DEVTMPFS_MOUNT=y
51 # CONFIG_STANDALONE is not set
59 # CONFIG_ETHERNET is not set
60 # CONFIG_WLAN is not set
61 CONFIG_INPUT_MOUSEDEV=y
63 # CONFIG_INPUT_KEYBOARD is not set
64 # CONFIG_LEGACY_PTYS is not set
66 CONFIG_HW_RANDOM_VIRTIO=y
67 # CONFIG_HWMON is not set
70 CONFIG_DRM_VIRTIO_GPU=y
71 CONFIG_FB_MODE_HELPERS=y
72 # CONFIG_VGA_CONSOLE is not set
73 CONFIG_FRAMEBUFFER_CONSOLE=y
75 # CONFIG_USB_SUPPORT is not set
78 # CONFIG_IOMMU_SUPPORT is not set
84 CONFIG_TMPFS_POSIX_ACL=y
90 CONFIG_NLS_CODEPAGE_437=y
91 CONFIG_NLS_ISO8859_1=y
92 CONFIG_CRYPTO_ECHAINIV=y
93 CONFIG_CRYPTO_DEFLATE=y
95 CONFIG_CRYPTO_ANSI_CPRNG=y
96 CONFIG_CRYPTO_DEV_VIRTIO=y
99 CONFIG_DYNAMIC_DEBUG=y
100 CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y
102 # CONFIG_SCHED_DEBUG is not set
104 CONFIG_DEBUG_RT_MUTEXES=y
105 CONFIG_DEBUG_SPINLOCK=y
106 CONFIG_DEBUG_MUTEXES=y
107 CONFIG_DEBUG_ATOMIC_SLEEP=y
110 # CONFIG_FTRACE is not set
111 # CONFIG_S32C1I_SELFTEST is not set