ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 14:13:09 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
ba5ec3a29e
genode/base-nova/patches
History
Alexander Boettcher a6d2042d5b NOVA: kernel patch - remove utcb if ec creation fails
2012-08-09 10:24:01 +02:00
..
portal_id.patch NOVA: kernel patch - deliver only local portal id 2012-08-09 10:24:01 +02:00
README Kernel patch is obsolete. 2012-07-04 14:56:47 +02:00
remove_utcb.patch NOVA: kernel patch - remove utcb if ec creation fails 2012-08-09 10:24:01 +02:00
translate.patch NOVA: translate item patch, issue #268 2012-08-09 10:24:00 +02:00
xlt_rcv.patch NOVA: translate item patch, issue #268 2012-08-09 10:24:00 +02:00

README 

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