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.