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

[Carlo Caione]

On 19/09/2012 12:49, Marc Kleine-Budde wrote:
> On 09/19/2012 12:08 PM, Jan Lübbe wrote:
>> 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?
>
> IIRC our colleague Michael (mol) said it's another incarnation of the
> chipidea IP core, which also in the imx28, imx53, etc...

Great info!

Thank you,

--
Carlo Caione