README: mention i.MX8MP-EVK support

Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · Dec 24, 2024 · 1d36453 · 1d36453
1 parent 6b3ccd4
commit 1d36453
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -208,6 +208,7 @@ board/$board/$config/elf/monitor.elf
 The currently supported boards are:
 
 * imx8mm_evk
+* imx8mp_evk
 * imx8mq_evk
 * maaxboard
 * odroidc2