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

..

base

base-nova: increase page fault handler stack size

2013-11-26 16:50:52 +01:00

core

nova: throw exception if ram_ds setup fails

2013-12-20 15:17:33 +01:00

kernel

NOVA: use latest kernel from github

2012-11-05 17:28:51 +01:00

platform

nova: initialize cap_map

2013-11-18 11:01:45 +01:00

test/cap_integrity

Merge base libraries into a single library

2013-02-19 14:45:55 +01:00