genode

mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 15:56:41 +00:00

History

Christian Helmuth b07d6eced8 depot: update recipe hashes		2018-03-29 14:59:07 +02:00
..
doc
etc
include
lib/mk
mk/spec
patches
ports
recipes	depot: update recipe hashes	2018-03-29 14:59:07 +02:00
run
src	nova: avoid endless loop in core	2018-03-27 13:44:28 +02:00
README

README

This repository contains the port of Genode to the NOVA microhypervisor.

For more information on this base platform, please refer to the official
website.

:[http://hypervisor.org]: Official website for the NOVA microhypervisor.

For information on using Genode on NOVA, please revisit the documentation at
'base-nova/doc/nova.txt':