Raspberry PI 3 experimental port tutorial command "fatload mmc 0 0x10000000 sel4test-driver-image-arm-bcm2837" is wrong #324
Description
Hi,
even if this port it is experimental, would be nice to have this tutorial fixed to avoid other people frustration.
The command "fatload mmc 0 0x10000000 sel4test-driver-image-arm-bcm2837" in "https://docs.sel4.systems/Hardware/Rpi3.html" is wrong and gives this output:
U-Boot> fatload mmc 0 0x10000000 sel4test-driver-image-arm-bcm2837
reading sel4test-driver-image-arm-bcm2837
3412496 bytes read in 312 ms (10.4 MiB/s)
U-Boot> bootelf 0x10000000
No elf image at address 0x10000000
The right command is:
U-Boot> fatload mmc 0 0x10000000 elfloader
reading elfloader
3533836 bytes read in 356 ms (9.5 MiB/s)
U-Boot> bootelf 0x10000000
(...)
Starting application at 0x014a2000 ...
ELF-loader started on CPU: ARM Ltd. Cortex-A53 r0p4
(...)
Enabling MMU and paging
Jumping to kernel-image entry point...
file command confirms: elfloader: ELF 32-bit LSB executable, ARM, EABI5 version 1 (SYSV), statically linked, with debug_info, not stripped
"elfloader" can be found at "/cbuild/elfloader/elfloader".
Best,