genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-02 17:21:13 +00:00

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

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