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@...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.