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

[Jan Lübbe]

Hi,

On Wed, 2012-09-19 at 12:00 +0200, Carlo Caione wrote:
> 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.

Ok, I'll try that later today.

What are your next plans? The USB or SD controllers?

Regards,
Jan
-- 
Pengutronix e.K.                           |                             |
Industrial Linux Solutions                 | http://www.pengutronix.de/  |
Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0    |
Amtsgericht Hildesheim, HRA 2686           | Fax:   +49-5121-206917-5555 |