From 2dbafbc895d7fc316e7b9815fea403d043090491 Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Mon, 24 Jul 2023 10:16:06 +1000 Subject: [PATCH] Make booting instructions more verbose for ZCU102 Signed-off-by: Ivan-Velickovic --- Hardware/ZCU102.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Hardware/ZCU102.md b/Hardware/ZCU102.md index 38d1906ef2..70b10b91b6 100644 --- 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