libplatsupport: Fix driver support for i.MX7

- EPIT is not supported on i.MX7 - We need to allow serial compilation based KernelPlatImx7 instead of KernelPlatformImx7Sabre. Signed-off-by: Jean-Christophe Dubois <[email protected]>
seL4 · Oct 8, 2024 · 33b6527 · 33b6527
1 parent b0d5011
commit 33b6527
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/libplatsupport/CMakeLists.txt b/libplatsupport/CMakeLists.txt
@@ -96,13 +96,13 @@ elseif(KernelPlatformExynos4 OR KernelPlatformExynos5410 OR KernelPlatformExynos
     list(APPEND deps src/mach/${LibPlatSupportMach}/clock/exynos_common_clock.c)
 endif()
 
-if(KernelPlatImx6 OR KernelPlatformImx7Sabre)
+if(KernelPlatImx6)
     list(APPEND deps src/mach/${LibPlatSupportMach}/epit/epit.c)
 endif()
 
 if(
     KernelPlatImx6
-    OR KernelPlatformImx7Sabre
+    OR KernelPlatImx7
     OR KernelPlatformImx8mq-evk
     OR KernelPlatformImx8mm-evk
     OR KernelPlatformImx8mp-evk