genode

History

Alexander Boettcher 486b27a1b8 nova: ease debugging if no cap indexes are left If we ran out of capabilities indexes, the bit allocator throws an exception. If this happens the code seems to hang and nothing happens. Instead one could catch the exception and print some diagnostic message. This would be nice, but don't work. Printing some diagnostic message itself tries to do potentially IPC and will allocate new capability indexes at least for the receive window. So, catch the exception and let the thread die, so at least the instruction pointer is left as trace to identify the reason of the trouble. Fixes #625		2013-01-24 11:09:15 +01:00
..
doc	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
etc	Fix default base-nova/etc/specs.conf	2013-01-11 20:54:46 +01:00
include	nova: ease debugging if no cap indexes are left	2013-01-24 11:09:15 +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: add chain_loader 'bender'	2012-11-23 12:20:28 +01:00
src	nova: ease debugging if no cap indexes are left	2013-01-24 11:09:15 +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':