Christian Prochaska 1884e16ecf base-nova: increase page fault handler stack size ...

When building Genode/NOVA with -O0, the page fault handler thread could
run out of stack.

Fixes #977.

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

..

base

base-nova: increase page fault handler stack size

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

core

nova: support creation of vCPU in own PD

2013-11-25 12:12:31 +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