Alexander Boettcher a7bc8bac9a nova: support usage of priorities in Genode/Nova ... Enables finally the usage of priorities on base-nova. Fixes #986		2014-04-16 17:30:31 +02:00
..
stdint.h	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
syscall-generic.h	nova: support usage of priorities in Genode/Nova	2014-04-16 17:30:31 +02:00
util.h	nova: set pager and native ec cap for main thread	2014-04-16 17:30:30 +02:00