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
------------------------------------------------------------------------------
Go from Idea to Many App Stores Faster with Intel(R) XDK
Give your users amazing mobile app experiences with Intel(R) XDK.
Use one codebase in this all-in-one HTML5 development environment.
Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs.
http://pubads.g.doubleclick.net/gampad/clk?id=254741911&iu=/4140
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to