1CONFIG_BLK_DEV_INITRD=y 2CONFIG_ARCH_VEXPRESS=y 3CONFIG_MODULES=y 4CONFIG_NET=y 5CONFIG_UNIX=y 6CONFIG_INET=y 7# CONFIG_IPV6 is not set 8CONFIG_NET_9P=y 9CONFIG_NET_9P_VIRTIO=y 10CONFIG_DEVTMPFS=y 11CONFIG_DEVTMPFS_MOUNT=y 12CONFIG_ARM_FFA_TRANSPORT=y 13CONFIG_ARM_TSTEE=y 14CONFIG_SERIAL_AMBA_PL011=y 15CONFIG_SERIAL_AMBA_PL011_CONSOLE=y 16CONFIG_VIRTIO_MMIO=y 17CONFIG_TEE=y 18CONFIG_OPTEE=y 19CONFIG_TMPFS=y 20CONFIG_9P_FS=y 21CONFIG_PRINTK_TIME=y 22CONFIG_DEBUG_FS=y 23