Hide MALI DRM driver if MALI is not enabled. Does not actually seem

hno · hno · commit dd70661fe732 · 2012-06-07T00:30:55.000+02:00
to depend on MALI drivers but is useless without them.
diff --git a/drivers/gpu/drm/Kconfig b/drivers/gpu/drm/Kconfig
@@ -155,6 +155,7 @@ config DRM_VIA
 config DRM_MALI
 	tristate "Mali DRM supprt"
 	depends on DRM
+	depends on MALI
 	help
 	  Choose this option if you have a Mali 200 or Mali 400 gpu
 	  If M is selected the module will be called mali_drm.
