From 99af2de8230909f9fc6ec380846f1c4029cdaecf Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Thu, 11 Jan 2024 11:50:18 +1100
Subject: [PATCH] manual: add command for booting ZCU102 hardware

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 docs/manual.md | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/docs/manual.md b/docs/manual.md
index 08513e0d..fb526d8e 100644
--- a/docs/manual.md
+++ b/docs/manual.md
@@ -576,13 +576,19 @@ When debugging is enabled the kernel will use the same UART as U-Boot.
 
 ## ZCU102
 
-Initial support is available for the ZCU102.
+Initial support is available for the Xilinx ZCU102.
 
 **FIXME:** Additional documentation required here.
 
 The ZCU102 can run on a physical board or on an appropriate QEMU based emulator.
 
-An QEMU command line:
+Microkit produces a raw binary file, so when using U-Boot you must execute the image using:
+
+    => go 0x40000000
+
+Note that the loading address must be `0x40000000`.
+
+For simulating the ZCU102 using QEMU, use the following command:
 
     $ qemu-system-aarch64 \
        -m 4G  \