rpi4: include fixup4.dat

This was missing from the list of files that need to be on the booting parition of the SD card. The testing that I have personally done with the Raspberry Pi 4B has always had this file on the SD card, it just was not mentioned as part of the documentation. The Raspberry Pi documentation mentions that this file is required to match up with the 'start4.elf' firmware. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Apr 11, 2024 · e9e6283 · e9e6283
1 parent e6acc38
commit e9e6283
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Hardware/Rpi4.md b/Hardware/Rpi4.md
@@ -42,6 +42,7 @@ they should be located in the root directory of this partition.
 |-|-|-|-|
 |FSBL |- |Mounts SD and loads SSBL |ROM |
 |GPU firmware |start4.elf |Loads CPU bootloader and boots CPU |<https://github.com/raspberrypi/firmware/tree/master/boot/start4.elf> |
+|Additional GPU firmware |fixup4.dat |Fixes memory locations used in start4.elf |<https://github.com/raspberrypi/firmware/tree/master/boot/fixup4.dat> |
 |Usually the Linux kernel, but could also be U-Boot |u-boot.bin |U-Boot binary| Compiled using the instructions above |
 ||config.txt|U-Boot parameters |Add `arm_64bit=1` and `kernel=u-boot.bin` to the bottom of `config.txt` |
 ||uboot.env |U-Boot saved environment |Generated by U-Boot (default environment) bootcmd copied to bootcmd_orig bootcmd and bootdelay removed. This file will not exist when you first setup your SD card. |