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
18 CONFIG_SYSCTL_SYSCALL=y
21 CONFIG_XTENSA_VARIANT_DC233C=y
22 CONFIG_XTENSA_UNALIGNED_USER=y
23 CONFIG_VECTORS_OFFSET=0x00002000
24 CONFIG_XTENSA_KSEG_512M=y
27 CONFIG_CMDLINE="console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug memmap=0x80000000@0"
29 CONFIG_BUILTIN_DTB_SOURCE="virt"
30 # CONFIG_PARSE_BOOTPARAM is not set
33 CONFIG_MODULE_UNLOAD=y
34 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
35 # CONFIG_COMPACTION is not set
45 # CONFIG_IPV6 is not set
47 # CONFIG_WIRELESS is not set
49 CONFIG_PCI_HOST_GENERIC=y
50 CONFIG_UEVENT_HELPER=y
52 CONFIG_DEVTMPFS_MOUNT=y
53 # CONFIG_STANDALONE is not set
61 # CONFIG_ETHERNET is not set
62 # CONFIG_WLAN is not set
63 CONFIG_INPUT_MOUSEDEV=y
65 # CONFIG_INPUT_KEYBOARD is not set
66 # CONFIG_LEGACY_PTYS is not set
68 CONFIG_HW_RANDOM_VIRTIO=y
69 # CONFIG_HWMON is not set
72 CONFIG_DRM_VIRTIO_GPU=y
73 CONFIG_FB_MODE_HELPERS=y
74 # CONFIG_VGA_CONSOLE is not set
75 CONFIG_FRAMEBUFFER_CONSOLE=y
77 # CONFIG_USB_SUPPORT is not set
80 # CONFIG_IOMMU_SUPPORT is not set
86 CONFIG_TMPFS_POSIX_ACL=y
92 CONFIG_NLS_CODEPAGE_437=y
93 CONFIG_NLS_ISO8859_1=y
94 CONFIG_CRYPTO_ECHAINIV=y
95 CONFIG_CRYPTO_DEFLATE=y
97 CONFIG_CRYPTO_ANSI_CPRNG=y
98 CONFIG_CRYPTO_DEV_VIRTIO=y
101 CONFIG_DYNAMIC_DEBUG=y
104 # CONFIG_SCHED_DEBUG is not set
106 CONFIG_DEBUG_RT_MUTEXES=y
107 CONFIG_DEBUG_SPINLOCK=y
108 CONFIG_DEBUG_MUTEXES=y
109 CONFIG_DEBUG_ATOMIC_SLEEP=y
112 # CONFIG_FTRACE is not set
113 # CONFIG_S32C1I_SELFTEST is not set