Fix ZCU102/ZCU106 boot command

Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · Jun 21, 2023 · effc540 · effc540
1 parent 647953f
commit effc540
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Hardware/ZCU102.md b/Hardware/ZCU102.md
@@ -165,6 +165,6 @@ 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:
 ```bash
 fatload mmc 0 0x8000000 sel4test-driver-image-arm-zynqmp
-go 0x8000000
+bootelf 0x8000000
 ```