diff options
Diffstat (limited to 'mali_pixel/Kconfig')
-rw-r--r-- | mali_pixel/Kconfig | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/mali_pixel/Kconfig b/mali_pixel/Kconfig index 2406990..10ab093 100644 --- a/mali_pixel/Kconfig +++ b/mali_pixel/Kconfig @@ -25,8 +25,22 @@ config MALI_MEMORY_GROUP_MANAGER for allocation and release of pages for memory pools managed by Mali GPU device drivers. +config MALI_MEMORY_GROUP_MANAGER_DEBUG_FS + depends on MALI_MEMORY_GROUP_MANAGER && DEBUG_FS + bool "Enable Mali memory group manager debugfs nodes" + default n + help + Enables support for memory group manager debugfs nodes + config MALI_PRIORITY_CONTROL_MANAGER tristate "MALI_PRIORITY_CONTROL_MANAGER" help This option enables an implementation of a priority control manager for determining the target GPU scheduling priority of a process. + +config MALI_PROTECTED_MEMORY_ALLOCATOR + tristate "MALI_PROTECTED_MEMORY_ALLOCATOR" + help + This option enables an implementation of a protected memory allocator + for allocation and release of pages of protected memory for use by + Mali GPU device drivers. |