diff --git a/docs/manual.md b/docs/manual.md
index 6501799a4..0391c282a 100644
--- 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.