genode/base-nova/include/32bit
Alexander Boettcher dd95266235 nova: add feature to yield a thread
used by virtualbox intensively
2014-02-28 10:11:11 +01:00
..
nova nova: add feature to yield a thread 2014-02-28 10:11:11 +01:00