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 <[email protected]>
seL4 · Jan 27, 2024 · 96f3012 · 96f3012
1 parent 1516b7d
commit 96f3012
Showing 1 changed file with 13 additions and 13 deletions.
diff --git 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 = (