ANDROID: GKI: Enable INTERVAL_TREE

Needed by some GPU/DRM drivers that are built out-of-tree

Bug: 159733980
Signed-off-by: Todd Kjos <tkjos@google.com>
Change-Id: Ia156d1b0a74c82d9f15b144131aff2ddeead0672
This commit is contained in:
Todd Kjos 2020-06-24 15:27:38 -07:00
commit 191e77e387

View file

@ -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