Make booting instructions more verbose for ZCU102

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
seL4 · Jul 24, 2023 · 2dbafbc · 2dbafbc
1 parent f679eaf
commit 2dbafbc
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Hardware/ZCU102.md b/Hardware/ZCU102.md
@@ -162,7 +162,8 @@ bootgen -arch zynqmp -image output.bif -w on -o BOOT.bin
 Copy BOOT.bin to the SD card
 
 Insert the SD card into ZCU102 then power on the board, and drop into the U-boot
-prompt. When you're at the prompt, type the following:
+prompt. When you're at the prompt, type the following to load the ELF file generated
+from builidng seL4test:
 ```bash
 fatload mmc 0 0x8000000 sel4test-driver-image-arm-zynqmp
 bootelf 0x8000000