With revision 37569cd43f82bb54f9e621163c4b0eb662bd1a51 of the NOVA kernel the patch isn't required anymore. |
||
---|---|---|
.. | ||
README |
This directory contains patches for the NOVA microhypervisor @ github required for using this kernel with Genode.
With revision 37569cd43f82bb54f9e621163c4b0eb662bd1a51 of the NOVA kernel the patch isn't required anymore. |
||
---|---|---|
.. | ||
README |
This directory contains patches for the NOVA microhypervisor @ github required for using this kernel with Genode.