This directory contains patches for the NOVA microhypervisor @ github
required for using this kernel with Genode.