[flyinghamster]

The Pi actually boots from the GPU, which runs a closed-source binary blob. The GPU then starts up the ARM cores, and that's where Linux boots.