rpi4: remove bootcode.bin

While the existence of bootcode.bin is not harmful, according to the Raspberry Pi documentation: https://www.raspberrypi.com/documentation/computers/configuration.html#bootcode-bin it is not necessary for the Raspberry Pi 4B to contain this firmware. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Apr 11, 2024 · c519e64 · c519e64
1 parent b00248f
commit c519e64
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Hardware/Rpi4.md b/Hardware/Rpi4.md
@@ -41,7 +41,6 @@ they should be located in the root directory of this partition.
 |Stage |Filename |Description |Source|
 |-|-|-|-|
 |FSBL |- |Mounts SD and loads SSBL |ROM |
-|SSBL |bootcode.bin|Loads GPU firmware and boots GPU|<https://github.com/raspberrypi/firmware/tree/master/boot/bootcode.bin> |
 |GPU firmware |start4.elf |Loads CPU bootloader and boots CPU |<https://github.com/raspberrypi/firmware/tree/master/boot/start4.elf> |
 |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` |