2013/3/27 Roc Vallès <[email protected]>:
> For a couple of weeks, I've been privately working on basic Raspberry Pi
> support on my free time.
>
> I have very basic support (uart write and booting to userspace), but it's
> not cleaned up.  I am also working on an article explaining the process
> followed so far with the port.

Hi Roc,

good work! At the address
https://code.launchpad.net/~bengal/helenos/raspberrypi you can find
the branch of HelenOS with support for Raspberry Pi. The current
status is that the kernel boots up to userspace and initializes uart,
interrupts and timer.

Comparing your patch with the code in the branch I note only one main
difference: I see that you link the bootloader from address
BOOT_BASE=0x80008000 while I used 0x00008000 because according to the
documentation that I have, RAM is mapped from address 0.

Do you know if there is also a mapping of RAM in the upper 2GB?  Or
maybe you are using a bootloader to start HelenOS?

Anyway, if you have more contributions regarding the Raspberry Pi, it
would be great to include them into the branch.

Beniamino

_______________________________________________
HelenOS-devel mailing list
[email protected]
http://lists.modry.cz/cgi-bin/listinfo/helenos-devel

Reply via email to