Alexander Boettcher f68482f87a NOVA: add support to cpu_session to create vCPUs ... Extend base-nova specific cpu_session to create also vCPUs.		2012-08-09 11:09:42 +02:00
..
cap_session_component.h	NOVA: remove pd selector from non Core code	2012-08-09 11:09:41 +02:00
core_rm_session.h	Add an 'executable' flag to 'Rm_session::attach()'	2012-04-20 11:21:19 +02:00
cpu_session_component.h	NOVA: add support to cpu_session to create vCPUs	2012-08-09 11:09:42 +02:00
echo.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
irq_session_component.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
map_local.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
nova_util.h	Establish mappings during reply, #248	2012-06-20 19:44:08 +02:00
platform_pd.h	NOVA: Throughly cleanup caps in case of errors	2012-08-09 11:09:42 +02:00
platform_thread.h	NOVA: add support to cpu_session to create vCPUs	2012-08-09 11:09:42 +02:00
platform.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
util.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00