[pinewurst]

Remember that the RPi SoC isn't primarily ARM. There's a multistage process to boot the VPU/GPU which in turn runs the ARM as a sort of child.

[goferito]

Is that boot process closed source?

[pinewurst]

Yes - there are people who've figured out their own boot processes, but everyone really uses the default Broadcom one.