Christian Prochaska 2337dc03f4 nova: use branch supporting changing PDPTE by VMM ... Fixes #1637		2015-08-21 10:58:59 +02:00
..
32bit/nova	nova: support to read thread and idle time	2015-06-22 14:43:38 +02:00
64bit/nova	nova: support to read thread and idle time	2015-06-22 14:43:38 +02:00
base	nova: use 16bit for reference count of caps	2015-07-07 19:48:07 +02:00
cap_session	nova: fix usage of portal permission	2015-01-06 12:39:11 +01:00
cpu_session	CPU session: apply quota via relative weightings	2015-05-06 10:55:16 +02:00
nova	nova: use branch supporting changing PDPTE by VMM	2015-08-21 10:58:59 +02:00
nova_cpu_session	nova: use in core one pager per CPU	2015-02-27 11:40:58 +01:00
pd_session	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
rm_session	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
signal_session	nova: leverage kernel to implement Genode signals	2015-03-27 11:53:11 +01:00