From 96f30124a942bd17a39751dd6aebdbee8835e143 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Sat, 27 Jan 2024 18:08:21 +1100
Subject: [PATCH] Re-enable support for i.MX8MM-EVK

The version of seL4 that Microkit used previously failed to build
for the i.MX8MM-EVK which is why this was disabled.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 build_sdk.py | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/build_sdk.py b/build_sdk.py
index 7f2be1b9..1061d00a 100644
--- a/build_sdk.py
+++ b/build_sdk.py
@@ -94,19 +94,19 @@ class ConfigInfo:
             "hello": Path("example/maaxboard/hello")
         }
     ),
-    # BoardInfo(
-    #     name="imx8mm",
-    #     gcc_cpu="cortex-a53",
-    #     loader_link_address=0x41000000,
-    #     kernel_options={
-    #         "KernelPlatform": "imx8mm-evk",
-    #         "KernelIsMCS": True,
-    #         "KernelArmExportPCNTUser": True,
-    #     },
-    #     examples={
-    #         "passive_server": Path("example/imx8mm/passive_server")
-    #     }
-    # )
+    BoardInfo(
+        name="imx8mm",
+        gcc_cpu="cortex-a53",
+        loader_link_address=0x41000000,
+        kernel_options={
+            "KernelPlatform": "imx8mm-evk",
+            "KernelIsMCS": True,
+            "KernelArmExportPCNTUser": True,
+        },
+        examples={
+            "passive_server": Path("example/imx8mm/passive_server")
+        }
+    )
 )
 
 SUPPORTED_CONFIGS = (