genode

History

Alexander Boettcher 944be1b4e6 nova: throw exception if ram_ds setup fails Fail hard if no large enough virtual memory area can be found where to map the memory from the kernel to core. Additionally clear dataspaces in junks if it can't be done in one large junk. Fixes #1011		2013-12-20 15:17:33 +01:00
..
doc	nova: update to kernel revision r3	2013-08-13 17:08:24 +02:00
etc	Fix default base-nova/etc/specs.conf	2013-01-11 20:54:46 +01:00
include	nova: support creation of vCPU in own PD	2013-11-25 12:12:31 +01:00
lib/mk	nova: remove cap_sel - use cap_map	2013-11-18 11:01:46 +01:00
mk	Unify framebuffer driver binary names (fix #720 )	2013-05-07 13:04:30 +02:00
patches	nova: update to kernel revision r3	2013-08-13 17:08:24 +02:00
run	base-nova: Use CROSS_DEV_PREFIX in run environment	2013-11-06 14:33:33 +01:00
src	nova: throw exception if ram_ds setup fails	2013-12-20 15:17:33 +01:00
Makefile	nova: update to kernel revision r3	2013-08-13 17:08:24 +02:00
README	Imported Genode release 11.11	2011-12-22 16:19:25 +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':