Porting Genode to the ZedBoard

Johannes Schlatow schlatow at ...238...
Wed Oct 7 13:51:49 CEST 2015

Hi Jack,

me and my colleagues already contributed a basic Zynq-support [1] to Genode, which recently made it into the current staging branch. The NIC support will follow soon [2].

In addition to that, we are internally using the Parallella and the Zedboard. You can find the necessary modifications in the 'zynq-boards' branch of my github fork of Genode [3].

[1] https://github.com/genodelabs/genode/pull/1599
[2] https://github.com/genodelabs/genode/issues/1667
[3] https://github.com/ValiValpas/genode/tree/zynq-boards

On Wed, 7 Oct 2015 13:26:19 +0200
<jack at ...358...> wrote:

> Hello Genodians,
> I am trying to port Genode to the ZedBoard, but currently I am having some problems to get the UART online.
> My starting point is this mail: <http://sourceforge.net/p/genode/mailman/message/33222798/> and as a reference I use the Pandaboard, because it has also a Cortex A9.
> So is it right, that the board_base.h is in some way like a devicetree file?
> If this is the case, how can I add some other devices like Ethernet, OLED-Display or the FPGA?
> Is there some more documentation on how to port Genode to another hardware?
> To come back to the UART: I hope that I can use the PL011 driver, because the ZedBoard does not have the TL16C750 chip from the Pandaboard (the ZedBoard has a Ti TUSB1210 chip). So is this possible?
> I think I already have the right base addresses from the technical reference manual, but I am still not getting on how to set the clock and the interrupts.
> Looking forward to your replies.

Johannes Schlatow, M.Sc.

IDA, Institute of Computer and Network Engineering
Technische Universit├Ąt Braunschweig
Hans-Sommer-Str. 66
38106 Braunschweig - Germany

Phone +49 531 391 - 9668

schlatow at ...238...

More information about the users mailing list