On 09/19/2012 01:10 PM, Carlo Caione wrote:
> 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...

Please check this :)

The current mainline kernel implementation is located here:
http://lxr.free-electrons.com/source/drivers/usb/chipidea/

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   |