diff --git a/Hardware/ZCU102.md b/Hardware/ZCU102.md
index abd2188144..38d1906ef2 100644
--- 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
 ```