Broadcom VC4 Graphics

modulename: vc4.ko

configname: CONFIG_DRM_VC4

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Direct Rendering Manager (XFree86 4.1.0 and higher DRI support)
└─>Broadcom VC4 Graphics
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Choose this option if you have a system that has a Broadcom
VC4 GPU, such as the Raspberry Pi or other BCM2708/BCM2835.

This driver requires that "avoid_warnings=2" be present in
the config.txt for the firmware, to keep it from smashing
our display setup.

source code:
drivers/gpu/drm//vc4/


is selected by
CONFIG_DRM_VC4_HDMI_CEC