[PATCH 1/2] Add bcm2835/Raspberry-Pi support

[Thomas Petazzoni]

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