| CONFIG_SYSVIPC=y |
| CONFIG_POSIX_MQUEUE=y |
| CONFIG_NO_HZ_IDLE=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_TASKSTATS=y |
| CONFIG_SCHED_AUTOGROUP=y |
| CONFIG_PROFILING=y |
| CONFIG_ARCH_VEXPRESS=y |
| CONFIG_COMPAT=y |
| CONFIG_FW_CFG_SYSFS=y |
| CONFIG_FW_CFG_SYSFS_CMDLINE=y |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_BLK_DEV_BSGLIB=y |
| CONFIG_BINFMT_MISC=y |
| CONFIG_TRANSPARENT_HUGEPAGE=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_PACKET_DIAG=y |
| CONFIG_UNIX=y |
| CONFIG_NET_KEY=y |
| CONFIG_INET=y |
| CONFIG_IP_MULTICAST=y |
| CONFIG_IP_ADVANCED_ROUTER=y |
| CONFIG_BRIDGE=m |
| CONFIG_NET_SCHED=y |
| CONFIG_VSOCKETS=y |
| CONFIG_PCI=y |
| CONFIG_PCI_HOST_GENERIC=y |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| CONFIG_VIRTIO_BLK=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_CHR_DEV_SG=y |
| CONFIG_SCSI_CONSTANTS=y |
| CONFIG_SCSI_LOGGING=y |
| CONFIG_SCSI_SCAN_ASYNC=y |
| CONFIG_SCSI_VIRTIO=y |
| CONFIG_ATA=y |
| CONFIG_NETDEVICES=y |
| CONFIG_DUMMY=y |
| CONFIG_MACVLAN=y |
| CONFIG_VIRTIO_NET=y |
| CONFIG_NLMON=y |
| CONFIG_SERIAL_AMBA_PL011=y |
| CONFIG_SERIAL_AMBA_PL011_CONSOLE=y |
| CONFIG_VIRTIO_CONSOLE=y |
| CONFIG_HW_RANDOM=y |
| CONFIG_HW_RANDOM_VIRTIO=y |
| CONFIG_TCG_TPM=y |
| CONFIG_TCG_TIS=y |
| CONFIG_DRM=y |
| CONFIG_DRM_VIRTIO_GPU=y |
| CONFIG_RTC_CLASS=y |
| CONFIG_RTC_DRV_PL031=y |
| CONFIG_VIRTIO_PCI=y |
| CONFIG_VIRTIO_MMIO=y |
| CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y |
| CONFIG_MAILBOX=y |
| CONFIG_PL320_MBOX=y |
| CONFIG_ARM_SMMU_V3=y |
| CONFIG_EXT4_FS=y |
| CONFIG_FUSE_FS=y |
| CONFIG_VIRTIO_FS=y |
| CONFIG_TMPFS=y |
| CONFIG_TMPFS_POSIX_ACL=y |