Porting Genode to Raspberry Pi 2

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