Alexander Boettcher 869abe4ec6 NOVA: make noux_tool_chain happy ... Multiple calls to get the dataspace capability on NOVA lead to the situation that the caller gets each time a new mapping of the same capability at different indexes. The client/caller assumes to get every time the very same index, e.g. in Noux the index is used to look up structures. Cache the dataspace capability returned via a rm_session for base-nova.		2012-08-17 11:43:04 +02:00
..
32bit/nova	Move semaphore op codes to generic syscall	2012-07-04 14:56:45 +02:00
64bit/nova	NOVA: fix compiler warning	2012-08-16 10:03:07 +02:00
base	NOVA: fix invalid cap detection	2012-08-10 10:58:14 +02:00
cap_session	NOVA: extend cap session for base-nova	2012-08-09 11:09:40 +02:00
nova	NOVA: let thread die if SM cap is invalid	2012-08-09 11:09:42 +02:00
nova_cpu_session	NOVA: add support to cpu_session to create vCPUs	2012-08-09 11:09:42 +02:00
pd_session	NOVA: force to map cap in pd_session::assing_pd	2012-08-09 11:09:41 +02:00
rm_session	NOVA: make noux_tool_chain happy	2012-08-17 11:43:04 +02:00
signal_session	NOVA: let thread die if SM cap is invalid	2012-08-09 11:09:42 +02:00