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...

Marc
-- 
Pengutronix e.K.                  | Marc Kleine-Budde           |
Industrial Linux Solutions        | Phone: +49-231-2826-924     |
Vertretung West/Dortmund          | Fax:   +49-5121-206917-5555 |
Amtsgericht Hildesheim, HRA 2686  | http://www.pengutronix.de   |