Martin Stein f3e76b3e9a base: use BDA header in base-nova like base-hw ... Moves the Bios Data Area header from base-hw to base. Modifies the base-nova core console that it uses the header as replacement for the previous BDA bit logic. Ref #1625		2015-07-21 09:30:12 +02:00
..
console	base: use BDA header in base-nova like base-hw	2015-07-21 09:30:12 +02:00
env	nova: use 16bit for reference count of caps	2015-07-07 19:48:07 +02:00
ipc	base: remove pager code from public API	2015-07-01 14:46:15 +02:00
lock	base: memory barriers in lock implementations	2014-11-28 12:02:34 +01:00
server	CPU session: apply quota via relative weightings	2015-05-06 10:55:16 +02:00
signal	nova: leverage kernel to implement Genode signals	2015-03-27 11:53:11 +01:00
thread	nova: delay UTCB revocation on thread destruction	2015-05-26 09:39:46 +02:00