1CONFIG_SYSVIPC=y
2CONFIG_POSIX_MQUEUE=y
3CONFIG_CGROUPS=y
4CONFIG_NAMESPACES=y
5CONFIG_USER_NS=y
6CONFIG_BLK_DEV_INITRD=y
7CONFIG_CC_OPTIMIZE_FOR_SIZE=y
8CONFIG_SGETMASK_SYSCALL=y
9CONFIG_EMBEDDED=y
10CONFIG_OPENRISC_BUILTIN_DTB="or1klitex"
11CONFIG_HZ_100=y
12CONFIG_OPENRISC_HAVE_SHADOW_GPRS=y
13CONFIG_NET=y
14CONFIG_PACKET=y
15CONFIG_PACKET_DIAG=y
16CONFIG_UNIX=y
17CONFIG_UNIX_DIAG=y
18CONFIG_INET=y
19CONFIG_IP_MULTICAST=y
20CONFIG_IP_ADVANCED_ROUTER=y
21CONFIG_INET_UDP_DIAG=y
22CONFIG_INET_RAW_DIAG=y
23# CONFIG_WIRELESS is not set
24# CONFIG_ETHTOOL_NETLINK is not set
25CONFIG_DEVTMPFS=y
26CONFIG_DEVTMPFS_MOUNT=y
27CONFIG_OF_OVERLAY=y
28CONFIG_NETDEVICES=y
29CONFIG_LITEX_LITEETH=y
30# CONFIG_WLAN is not set
31CONFIG_SERIAL_LITEUART=y
32CONFIG_SERIAL_LITEUART_CONSOLE=y
33CONFIG_TTY_PRINTK=y
34# CONFIG_GPIO_CDEV is not set
35CONFIG_MMC=y
36CONFIG_MMC_LITEX=y
37# CONFIG_VHOST_MENU is not set
38# CONFIG_IOMMU_SUPPORT is not set
39CONFIG_LITEX_SOC_CONTROLLER=y
40CONFIG_EXT2_FS=y
41CONFIG_EXT3_FS=y
42CONFIG_MSDOS_FS=y
43CONFIG_VFAT_FS=y
44CONFIG_EXFAT_FS=y
45CONFIG_TMPFS=y
46CONFIG_NFS_FS=y
47CONFIG_NFS_V3_ACL=y
48CONFIG_NFS_V4=y
49CONFIG_NLS_CODEPAGE_437=y
50CONFIG_NLS_ISO8859_1=y
51CONFIG_LSM="lockdown,yama,loadpin,safesetid,integrity,bpf"
52CONFIG_PRINTK_TIME=y
53CONFIG_PANIC_ON_OOPS=y
54CONFIG_SOFTLOCKUP_DETECTOR=y
55CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC=y
56CONFIG_BUG_ON_DATA_CORRUPTION=y
57