genode

History

Christian Helmuth d23ee02e9a Destruct IPC-server object on entrypoint destruction The IPC-server object exists solely on the stack of the entrypoint thread and, therefore, would never be destructed as the thread is just killed. Now, the object is explicitly destructed in the entrypoint destructor. An alternative solution could instruct the entrypoint thread the terminate, which would automatically cleanup its stack. The object pool is assumed to be empty on destruction of the entrypoint. If not, we warn and at least dissolve all RPC objects.		2012-11-16 13:55:00 +01:00
..
doc	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
etc	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
include	base: Tell a mapping wether it maps IO memory.	2012-11-14 16:36:51 +01:00
lib/mk	NOVA: implement pause using recall kernel feature	2012-08-30 10:40:00 +02:00
mk	Use NOVA microkernel from github, add 64bit	2012-06-20 19:44:07 +02:00
patches	NOVA: drop special utcb handling of main thread	2012-10-04 14:35:38 +02:00
run	NOVA: use grub instead of pxe	2012-06-22 11:38:14 +02:00
src	Destruct IPC-server object on entrypoint destruction	2012-11-16 13:55:00 +01:00
Makefile	NOVA: use latest kernel from github	2012-11-05 17:28:51 +01: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':