Genode OS Framework 19.05

After this major breakthrough, we spent the days left before Christmas to adjust the Seoul VMM to the new VM interface, freeing it from the ties to the NOVA kernel. With the New Year, VirtualBox was the next target where all NOVA kernel specific calls were replaced with the new Genode VM interface. The former relies on NOVA’s kernel interface whereas the latter uses Genode’s kernel-agnostic VM interface.

Source: genode.org