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_VECTORS_OFFSET=0x00002000
23 CONFIG_XTENSA_KSEG_512M=y
26 CONFIG_CMDLINE="console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug memmap=0x80000000@0"
28 CONFIG_BUILTIN_DTB_SOURCE="virt"
29 # CONFIG_PARSE_BOOTPARAM is not set
32 CONFIG_MODULE_UNLOAD=y
33 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
34 # CONFIG_COMPACTION is not set
44 # CONFIG_IPV6 is not set
46 # CONFIG_WIRELESS is not set
48 CONFIG_PCI_HOST_GENERIC=y
49 CONFIG_UEVENT_HELPER=y
51 CONFIG_DEVTMPFS_MOUNT=y
52 # CONFIG_STANDALONE is not set
60 # CONFIG_ETHERNET is not set
61 # CONFIG_WLAN is not set
62 CONFIG_INPUT_MOUSEDEV=y
64 # CONFIG_INPUT_KEYBOARD is not set
65 # CONFIG_LEGACY_PTYS is not set
67 CONFIG_HW_RANDOM_VIRTIO=y
68 # CONFIG_HWMON is not set
71 CONFIG_DRM_VIRTIO_GPU=y
72 CONFIG_FB_MODE_HELPERS=y
73 # CONFIG_VGA_CONSOLE is not set
74 CONFIG_FRAMEBUFFER_CONSOLE=y
76 # CONFIG_USB_SUPPORT is not set
79 # CONFIG_IOMMU_SUPPORT is not set
85 CONFIG_TMPFS_POSIX_ACL=y
91 CONFIG_NLS_CODEPAGE_437=y
92 CONFIG_NLS_ISO8859_1=y
93 CONFIG_CRYPTO_ECHAINIV=y
94 CONFIG_CRYPTO_DEFLATE=y
96 CONFIG_CRYPTO_ANSI_CPRNG=y
97 CONFIG_CRYPTO_DEV_VIRTIO=y
100 CONFIG_DYNAMIC_DEBUG=y
103 # CONFIG_SCHED_DEBUG is not set
105 CONFIG_DEBUG_RT_MUTEXES=y
106 CONFIG_DEBUG_SPINLOCK=y
107 CONFIG_DEBUG_MUTEXES=y
108 CONFIG_DEBUG_ATOMIC_SLEEP=y
111 # CONFIG_FTRACE is not set
112 # CONFIG_S32C1I_SELFTEST is not set