Alexander Boettcher 67c1ad4cdd nova: support creation of vCPU in own PD ...

With the patch a VMM is not forced anymore to co-located the VMM and VM in same
PD.

Fixes #949

2013-11-25 12:12:31 +01:00

..

bit_allocator.h

nova: speed up cap selector allocation

2013-09-23 14:26:01 +02:00

bit_array.h

Update copyright headers to 2013

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

cap_map.h

nova: introduce cap_map

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

ipc_msgbuf.h

nova: use cap_map for IPC

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

ipc_pager.h

nova: map write_combined ds as dma able

2013-02-21 11:52:02 +01:00

native_types.h

nova: add inc/dec to native_types.h

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

pager.h

nova: support creation of vCPU in own PD

2013-11-25 12:12:31 +01:00

sleep.h

Update copyright headers to 2013

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

thread_state.h

GDB monitor: find out page faulting thread

2013-10-25 23:49:00 +02:00