Alexander Boettcher 6cc0d69aa7 nova: recall thread if exception can't be resolved ...

Recall faulting thread and block pager thread. The pager get resumed as soon
as the fault gets resolved by the rm_session (or never ever).

Fixes #621

2013-01-21 11:40:38 +01:00

..

base

nova: recall thread if exception can't be resolved

2013-01-21 11:40:38 +01:00

core

base-nova: Coding style

2013-01-11 23:11:07 +01:00

kernel

NOVA: use latest kernel from github

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

platform

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

test/cap_integrity

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00