Add support for i.MX93

Signed-off-by: Indan Zupancic <[email protected]>
seL4 · Feb 9, 2025 · 594d4d1 · 594d4d1
1 parent 2cac3e7
commit 594d4d1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/cmake-tool/helpers/application_settings.cmake b/cmake-tool/helpers/application_settings.cmake
@@ -12,7 +12,7 @@ include_guard(GLOBAL)
 function(ApplyData61ElfLoaderSettings kernel_platform kernel_sel4_arch)
     set(
         binary_list
-        "tx1;hikey;odroidc2;odroidc4;imx8mq-evk;imx8mm-evk;imx8mp-evk;hifive;tqma8xqp1gb;bcm2711;rocketchip;star64;cheshire"
+        "tx1;hikey;odroidc2;odroidc4;imx8mq-evk;imx8mm-evk;imx8mp-evk;hifive;tqma8xqp1gb;imx93;bcm2711;rocketchip;star64;cheshire"
     )
     set(efi_list "tk1;rockpro64;quartz64")
     set(uimage_list "tx2;am335x")

diff --git a/elfloader-tool/src/drivers/uart/imx-lpuart.c b/elfloader-tool/src/drivers/uart/imx-lpuart.c
@@ -47,6 +47,7 @@ static int imx_lpuart_init(struct elfloader_device *dev, UNUSED void *match_data
 }
 
 static const struct dtb_match_table imx_lpuart_matches[] = {
+    { .compatible = "fsl,imx7ulp-lpuart" },
     { .compatible = "fsl,imx8qxp-lpuart" },
     { .compatible = NULL /* sentinel */ },
 };