On Fri Oct 23 15:37:55 PDT 2015, cyberfo...@gmail.com wrote: > I don't have the Plan9 uSD card handy, but to the best of my recollection > all Raspberry Pi SD cards have at least two partitions on them. The ARM > processor remains halted upon reset and the VideoCore loads the image from > the (first?) DOS formatted partition. Once that image is loaded into RAM, > the ARM processor starts running it. > > I'm not even sure that uboot is involved. > > You might find some useful information at: > http://raspberrypi.stackexchange.com/questions/10489/how-does-raspberry-pi-boot
u-boot is not used on the rpi. the firmware load the kernel directly. - erik