From 191e77e387095d329cf9dbf344f8d6c9f9b9b765 Mon Sep 17 00:00:00 2001 From: Todd Kjos Date: Wed, 24 Jun 2020 15:27:38 -0700 Subject: [PATCH] ANDROID: GKI: Enable INTERVAL_TREE Needed by some GPU/DRM drivers that are built out-of-tree Bug: 159733980 Signed-off-by: Todd Kjos Change-Id: Ia156d1b0a74c82d9f15b144131aff2ddeead0672 --- init/Kconfig.gki | 1 + 1 file changed, 1 insertion(+) diff --git a/init/Kconfig.gki b/init/Kconfig.gki index ea262499e946..9830a7e0ed36 100644 --- a/init/Kconfig.gki +++ b/init/Kconfig.gki @@ -7,6 +7,7 @@ config GKI_HIDDEN_DRM_CONFIGS select DRM_TTM if (HAS_IOMEM && DRM) select VIDEOMODE_HELPERS select WANT_DEV_COREDUMP + select INTERVAL_TREE help Dummy config option used to enable hidden DRM configs. These are normally selected implicitly when including a