I stumbled upon a new problem with the Turmvilla setup (on Nova 64bit). If I give my virtual machine 3600 megabytes of memory or more (in the vbox file, the virtualbox subsystem has plenty) it crashes with the following error:
[cli_monitor -> linux -> vbox] c/virtualbox/spec/nova/vcpu.h(502) void Vcpu_handler::_irq_window()
[cli_monitor -> linux -> vbox]
!!Assertion Failed!!
Expression: !res
Location : /home/hdv/projects/genode/repos/ports/src/virtualbox/spec/nova/vcpu.h(502) void Vcpu_handler::_irq_window()
[cli_monitor -> linux -> vbox] EMT-3
EMT-3 !!Assertion Failed!!
EMT-3 Expression: !res
EMT-3 Location : /home/hdv/projects/genode/repos/ports/sr
[cli_monitor -> linux -> vbox] c/virtualbox/spec/nova/vcpu.h(502) void Vcpu_handler::_irq_window()
[cli_monitor -> linux -> vbox]
!!Assertion Failed!!
Expression: !res
Location : /home/hdv/projects/genode/repos/ports/src/virtualbox/spec/nova/vcpu.h(502) void Vcpu_handler::_irq_window()
With less than 3600 megabytes the virtual machine does start. Does anyone know what could be the problem?