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