Hello!
I am trying Genode on some different ARM platforms such as: a) Nvidia Tegra 250 (Development Kit board) b) Beagle board (www.beagleboard.org) I have no problem to build and run Genode having FOC kernel support for these boards (working via UART terminal without graphics) But to run L4 Linux the Terminal session is needed, and that session can only be provided via user (not kernel) UART. But there is no possibility to use another UART, other than we have for kernel standard input/output (board b without extentions has only one RS232) So, is there any possibility to use only one terminal connection for kernel and l4linux simultaniously (the same console for input/output)? For example, a stub uart driver that redirects uart IO&interrupts to standard IO? 2) Have you intentions to add any of these ARM platform support in Genode (drivers for uart,display etc.)? The platforms above I think, are more avaliable than pbx-a9.
All of the Best and Happy new Year, Evgeny.