Alexander Boettcher 8526dc4f19 Set ERR_INVALID_OBEJCT if call failed to server ...

Tell the client that the last operation failed, instead of continuing doing
useless things.

2012-08-10 10:57:54 +02:00

..

base

Set ERR_INVALID_OBEJCT if call failed to server

2012-08-10 10:57:54 +02:00

core

NOVA: add support to cpu_session to create vCPUs

2012-08-09 11:09:42 +02:00

kernel

Use NOVA microkernel from github, add 64bit

2012-06-20 19:44:07 +02:00

platform

NOVA: remove pd selector from non Core code

2012-08-09 11:09:41 +02:00

test/cap_integrity

Adjust cap_integrity test to NOVA changes

2012-08-09 11:09:42 +02:00