Rename "imx8mm" to "imx8mm_evk"

For consistency with seL4. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jan 27, 2024 · 29ad78b · 29ad78b
1 parent 96f3012
commit 29ad78b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build_sdk.py b/build_sdk.py
@@ -95,7 +95,7 @@ class ConfigInfo:
         }
     ),
     BoardInfo(
-        name="imx8mm",
+        name="imx8mm_evk",
         gcc_cpu="cortex-a53",
         loader_link_address=0x41000000,
         kernel_options={
@@ -104,7 +104,7 @@ class ConfigInfo:
             "KernelArmExportPCNTUser": True,
         },
         examples={
-            "passive_server": Path("example/imx8mm/passive_server")
+            "passive_server": Path("example/imx8mm_evk/passive_server")
         }
     )
 )