diff -drupN a/drivers/gator/Kconfig b/drivers/gator/Kconfig
--- a/drivers/gator/Kconfig	1970-01-01 03:00:00.000000000 +0300
+++ b/drivers/gator/Kconfig	2022-06-12 05:28:14.000000000 +0300
@@ -0,0 +1,46 @@
+config GATOR
+	tristate "Gator module for ARM's Streamline Performance Analyzer"
+	default m if (ARM || ARM64)
+	depends on PROFILING
+	depends on HIGH_RES_TIMERS
+	depends on PERF_EVENTS
+	depends on HW_PERF_EVENTS || !(ARM || ARM64)
+	select TRACING
+	help
+	  Gator module for ARM's Streamline Performance Analyzer
+
+config GATOR_WITH_MALI_SUPPORT
+	bool
+
+choice
+	prompt "Enable Mali GPU support in Gator"
+	depends on GATOR
+	optional
+	help
+	  Enable Mali GPU support in Gator
+
+config GATOR_MALI_4XXMP
+	bool "Mali-400MP or Mali-450MP"
+	select GATOR_WITH_MALI_SUPPORT
+
+config GATOR_MALI_MIDGARD
+	bool "Mali-T60x, Mali-T62x, Mali-T72x or Mali-T76x"
+	select GATOR_WITH_MALI_SUPPORT
+
+endchoice
+
+config GATOR_MALI_4XXMP_PATH
+	string "Path to Mali driver"
+	depends on GATOR_MALI_4XXMP
+	default "drivers/gpu/arm/mali400mp"
+	help
+	  The gator code adds this to its include path so it can get the Mali
+	  trace headers with: #include "linux/mali_linux_trace.h"
+
+config GATOR_MALI_MIDGARD_PATH
+	string "Path to Mali driver"
+	depends on GATOR_MALI_MIDGARD
+	default "drivers/gpu/arm/midgard"
+	help
+	  The gator code adds this to its include path so it can get the Mali
+	  trace headers with: #include "linux/mali_linux_trace.h"