genode

History

Christian Prochaska 71183783a2 NOVA: initialize segment and flag registers of local ECs Make sure that the segment and flag registers of local ECs are initialized after recall by initializing them at EC creation time. Fixes #2000		2016-06-28 11:09:28 +02:00
..
doc	tool: remove deprecated 'make prepare' mechanism	2016-03-17 17:02:04 +01:00
etc	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
include	base: changes for GDB monitor	2016-05-23 15:52:49 +02:00
lib/mk	Clean up base-library structure	2016-05-09 13:24:11 +02:00
mk/spec	toolchain: report missing ports at once	2016-03-07 12:34:43 +01:00
patches	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
ports	NOVA: initialize segment and flag registers of local ECs	2016-06-28 11:09:28 +02:00
run	Omit superfluous use of "CAP"/"SIGNAL" services	2016-05-09 13:24:51 +02:00
src	Supplement base/log.h with raw output function	2016-06-22 12:21:42 +02:00
README	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02: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':