Hello Thomas,
On Mon, Oct 02, 2017 at 11:37:40PM -0500, Thomas Dundon wrote:
> I cannot get the basic demo to work inside my VM. Here's my setup:
>
> - x86_64 machine running
> - Windows 7 running
> - VirtualBox 5.1.28 running
> - Ubuntu 16.04
>
> ...
this issue was discovered before and the progress is documented in the
following ticket of our issue tracker.
https://github.com/genodelabs/genode/issues/2521
Please give the mentioned commit a try. It fixes the issue for with
16.04 and linux kernel 4.4.0-93-generic as well as 4.4.0-96-generic.
https://github.com/chelmuth/genode/commit/ 03a17e2cf61879cdfecb32df1484b3 d058231a48
Greets
--
Christian Helmuth
Genode Labs