manual: add initial documentation for MaaXBoard

seL4 · Jan 27, 2024 · 416caee · 416caee
1 parent 1dff901
commit 416caee
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/docs/manual.md b/docs/manual.md
@@ -514,6 +514,14 @@ 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.
 
+## MaaXBoard
+
+The MaaXBoard is a low-cost ARM SBC based on the NXP i.MX8MQ system-on-chip.
+
+Microkit produces a raw binary file, so when using U-Boot you must execute the image using:
+
+    => go 0x40480000
+
 ## TQMa8XQP 1GB
 
 The TQMa8XQP is a system-on-module designed by TQ-Systems GmbH.