diff options
| -rw-r--r-- | drivers/gpu/mali/Kconfig | 7 | ||||
| -rw-r--r-- | drivers/gpu/mali/Makefile | 2 |
2 files changed, 8 insertions, 1 deletions
diff --git a/drivers/gpu/mali/Kconfig b/drivers/gpu/mali/Kconfig index 0781bcbd854..bc2cc660bc3 100644 --- a/drivers/gpu/mali/Kconfig +++ b/drivers/gpu/mali/Kconfig @@ -13,3 +13,10 @@ config GPU_MALI_DEBUG ---help--- This enables debug prints in the mali device driver. Debug mode must be enabled in order to use the intrumentation feature of the mali libraries. + +config MALI_DRM + boolean "DRM driver for Mali" + default n + depends on GPU_MALI + ---help--- + This enables the DRM driver for Mali GPU. diff --git a/drivers/gpu/mali/Makefile b/drivers/gpu/mali/Makefile index 93c95aca19a..698dcb0e590 100644 --- a/drivers/gpu/mali/Makefile +++ b/drivers/gpu/mali/Makefile @@ -3,7 +3,7 @@ MALIDRM_SUBFOLDER := mali400ko/x11/mali_drm/mali MALI_FOLDER := $(srctree)/$(src)/$(MALI_SUBFOLDER) ifeq ($(shell [ -d $(MALI_FOLDER) ] && echo "OK"), OK) obj-$(CONFIG_GPU_MALI) += $(MALI_SUBFOLDER)/ -obj-y += $(MALIDRM_SUBFOLDER)/ +obj-$(CONFIG_MALI_DRM) += $(MALIDRM_SUBFOLDER)/ else $(warning WARNING: mali: Could not find $(MALI_FOLDER) - mali device driver will not be built) obj-n += ./ |