Re: Using Genode 17.05 with Fiasco.OC

2017-07-26 Thread Norman Feske
Hi Jörg, unfortunately, I am unable to diagnose the vserver issue. > Ok. May I ask the recommended kernel for the following embedded board > Rpi/pandaboard/wand quad ? It looks like there is only Fiasco.OC, > because Fiasco.OC has ARM support, or? these boards are supported also by the so-called

Re: Using Genode 17.05 with Fiasco.OC

2017-07-25 Thread Jörg-Christian Böhme
Hi Norman, Am Dienstag, 25. Juli 2017 13:45:45 CEST schrieb Norman Feske: But first, I think about to start with a small server. The host provider that I use, use a QEMU with KVM enable as virtual server. So it is not possilbe to use NOVA on it because of the KVM enabled featuer (I think) but

Re: Using Genode 17.05 with Fiasco.OC

2017-07-25 Thread Norman Feske
Hi Jörg, thank you for introducing yourself and for your interest in Genode! > I started a month ago with Gnode hello tutorial and play around with them. > Therefore, I call myself a newbie :-) > But at the end, I will use Genode on my laptop (like turmvilla example) and > start to develop some a