From effc540578c8b1de761040a587b475b2ffc7e8d5 Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Wed, 21 Jun 2023 19:10:59 +1000
Subject: [PATCH] Fix ZCU102/ZCU106 boot command

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
---
 Hardware/ZCU102.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 ```