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
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
Hello,
first, thanks for your effort guys. I'm very glad to see that a microkernel
architecture/framework is exists in C++ :-)
A short description about me:
I'm C++ enthusiasts (C++ User Group Duesseldorf and Meeting C++
stuff member) and also very interested about operating systems. I pay
