|
||
---|---|---|
.. | ||
assign_pci.patch | ||
README |
This directory contains patches for the NOVA microhypervisor @ github required for using this kernel with Genode.
|
||
---|---|---|
.. | ||
assign_pci.patch | ||
README |
This directory contains patches for the NOVA microhypervisor @ github required for using this kernel with Genode.