My understanding of the boot process is that: - the VC4 starts up and a ROM starts executing - the ROM loads bootcode.bin into the SRAM - bootcode.bin sets up

My understanding of the boot process is that: - the VC4 starts up and a ROM starts executing - the ROM loads bootcode.bin into the SRAM - bootcode.bin sets up the DRAM and loads the start.elf and fixup.dat - the start.elf sets up the ARM core and loads the Linux kernel ARM code only starts executing at the last stage. The only bit that's actually necessary on the SD card is the bootcode.bin --- everything else is under the control of whatever's in there.