CONFIG_MDIO_BUS=y
CONFIG_MDIO_DEVICE=y
# CONFIG_MDIO_GPIO is not set
-CONFIG_MEDIA_CAMERA_SUPPORT=y
-CONFIG_MEDIA_CONTROLLER=y
-CONFIG_MEDIA_SUPPORT=y
CONFIG_MEMORY=y
CONFIG_MEMORY_ISOLATION=y
CONFIG_MFD_CORE=y
CONFIG_USELIB=y
# CONFIG_USERIO is not set
CONFIG_USE_OF=y
-# CONFIG_V4L_PLATFORM_DRIVERS is not set
CONFIG_VECTORS_BASE=0xffff0000
CONFIG_VEXPRESS_CONFIG=y
CONFIG_VEXPRESS_SYSCFG=y
CONFIG_VFPv3=y
CONFIG_VGA_ARB=y
CONFIG_VGA_ARB_MAX_GPUS=16
-# CONFIG_VIDEO_AD5820 is not set
-# CONFIG_VIDEO_ADP1653 is not set
-# CONFIG_VIDEO_AS3645A is not set
-CONFIG_VIDEO_DEV=y
-# CONFIG_VIDEO_LM3560 is not set
-# CONFIG_VIDEO_LM3646 is not set
-CONFIG_VIDEO_V4L2=y
-# CONFIG_VIDEO_V4L2_SUBDEV_API is not set
CONFIG_VITESSE_PHY=y
CONFIG_VM_EVENT_COUNTERS=y
CONFIG_VT=y