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

[Carlo Caione]

On 19/09/2012 11:10, Jan Lübbe wrote:
> Hi,
>
> thanks for working on this!

You are welcome :)

> For trying out your code, I'd like to know how you tested this. How did
> you prepare your SD card? Is there anything else I need to be ware of to
> get it working?

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.

Please, let me know if you have any problem.

Thank you,

--
Carlo Caione