genode

mirror of https://github.com/genodelabs/genode.git synced 2025-06-19 23:53:55 +00:00

Files

History

Alexander Boettcher a6d2042d5b NOVA: kernel patch - remove utcb if ec creation fails

2012-08-09 10:24:01 +02:00

portal_id.patch

2012-08-09 10:24:01 +02:00

README

Kernel patch is obsolete.

2012-07-04 14:56:47 +02:00

remove_utcb.patch

2012-08-09 10:24:01 +02:00

translate.patch

2012-08-09 10:24:00 +02:00

xlt_rcv.patch

2012-08-09 10:24:00 +02:00

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