source "drivers/gpu/vga/Kconfig"
source "drivers/gpu/host1x/Kconfig"
+source "drivers/gpu/ipu-v3/Kconfig"
menu "Direct Rendering Manager"
source "drivers/gpu/drm/Kconfig"
source "drivers/video/fbdev/Kconfig"
endmenu
+source "drivers/video/mxc/Kconfig"
+
source "drivers/video/backlight/Kconfig"
config VGASTATE