Thanks for the quick replies rpi have only sold 7M, so not that big in the grand scheme of things But the rpi2 has only been out for 8 months, I am sure it will be popular And now,, out only a few days,, the pizero, a $5 board Essentially an "A" without networking but 40 GPIO pin header I bet they will sell a lot of them (BCM2835) For me, I think I will do some version of kexec, there are 3 A bootloader is kind of overkill, sledgehammer to kill flies thanks dave thompson _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox