ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 22:23:16 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
a41f77a78a
genode/base-nova/patches
History
Alexander Boettcher c114014c1c nova: kernel patch for assign_pci 
Apply lookup of pci config memory address to target pd.
2013-02-21 11:52:02 +01:00
..
assign_pci.patch nova: kernel patch for assign_pci 2013-02-21 11:52:02 +01:00
README Kernel patch is obsolete. 2012-07-04 14:56:47 +02:00

README 

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