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