Update list of supported boards

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Feb 13, 2024 · 996fe88 · 996fe88
1 parent 99c0f78
commit 996fe88
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -143,6 +143,8 @@ board/$board/$config/elf/monitor.elf
 
 The currently supported boards are:
 
+* imx8mm_evk
+* imx8mq_evk
 * tqma8xqp1gb
 * zcu102