Dear Carlo Caione, On Wed, 19 Sep 2012 12:00:23 +0200, Carlo Caione wrote: > Yes, it works for me. > You need an sd card with a single partition fat32 with inside > bootcode.bin, loader.bin and start.elf (you can find the files here > https://github.com/raspberrypi/firmware/tree/master/boot) > Then just copy barebox.bin on the card and rename it kernel.img. It would probably be good to put that somewhere in the Barebox documentation. Generally, I think some per-board documentation is lacking in Barebox on how to set up Barebox on each particular platform, especially with regard to the first stage bootloaders that are often needed on a number of platforms. And yes, I know, I should be sending a patch augmenting the documentation with this :) Thanks, Thomas -- Thomas Petazzoni, Free Electrons Kernel, drivers, real-time and embedded Linux development, consulting, training and support. http://free-electrons.com _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox
