Porting Genode to Raspberry Pi 2

[Tamas Bakos]

Hello everyone,

I would like to port Genode to the Raspberry Pi 2, using the custom kernel from base-hw.
I know it is already available for the Raspberry Pi 1, but model 2 uses an entirely different CPU (ARM Cortex-A7), from a different family (ARMv7-A).
I am not very familiar with the structure of the Genode source files yet. Could you help me, by explaining what files I should create or modify, and which files I should take as reference when doing so?(Should I start based on the files of a board using a CPU from the same family (ARMv7-A), or from the files concerning the Raspberry Pi 1?)
Thanks,Tamas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20151203/e9d78554/attachment.html>