From 8e70467f99d08f9133b43819b38fa7fd6126365f Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Sat, 27 Jan 2024 18:10:09 +1100
Subject: [PATCH] manual: add i.MX8MM-EVK to board support list

---
 docs/manual.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/manual.md b/docs/manual.md
index 0391c282a..c750fada4 100644
--- a/docs/manual.md
+++ b/docs/manual.md
@@ -514,6 +514,12 @@ The `id` should be passed to the `microkit_notify` and `microkit_ppcall` functio
 
 This chapter describes the board support packages that are available in the SDK.
 
+## i.MX8MM-EVK
+
+Microkit produces a raw binary file, so when using U-Boot you must execute the image using:
+
+    => go 0x41000000
+
 ## MaaXBoard
 
 The MaaXBoard is a low-cost ARM SBC based on the NXP i.MX8MQ system-on-chip.