genode

History

Emery Hemingway 1dc25293b8 Startup library header path must be overriden The startup library might fail at runtime if local headers are included rather than headers from somewhere else.		2019-10-28 15:25:18 +01:00
..
doc
etc
include	Clang: address-of-packed-member	2019-10-03 21:57:57 +02:00
lib/mk	vm_session: track dataspaces used by attach	2019-05-06 16:15:25 +02:00
mk/spec
patches
ports	nova: update kernel branch	2019-08-13 12:02:03 +02:00
recipes	depot: update recipe hashes	2019-09-20 14:14:16 +02:00
run	base: rm first-class support for static binaries	2018-08-02 14:36:38 +02:00
src	Startup library header path must be overriden	2019-10-28 15:25:18 +01:00
README
Tuprules.tup	Tup: rename INCLUDES to CPPFLAGS	2019-10-28 11:32:29 +01:00

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':