--- zzzz-none-000/linux-4.9.276/drivers/memory/Kconfig	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/drivers/memory/Kconfig	2023-04-05 08:19:01.000000000 +0000
@@ -134,6 +134,13 @@
 	  mainly help enable/disable iommu and control the power domain and
 	  clocks for each local arbiter.
 
+config SONICS_MEMMAX
+	tristate "Sonics MemMax memory scheduler driver"
+	depends on OF
+	help
+	  This drivers is for the Sonics MemMax memory scheduler. This
+	  is hardware is found in some Maxlinear SoCs.
+
 source "drivers/memory/samsung/Kconfig"
 source "drivers/memory/tegra/Kconfig"