With the relatively new generic virtualization interface, Seoul is now able
to run on my AMD Ryzen machine. However, VirtualBox still crashes when
starting the VM. With the NOVA-specific interface, it would die from an
unresolved page fault, while with the generic interface, it throws a
general exc
We just released the version 19.11 of the Genode OS Framework.
The highlights of this version are the prototype of a custom
block-device encrypter implemented in SPARK, virtualization of 64-bit
ARM platforms, new tooling especially geared towards the porting and
development of application software
