Alexander Boettcher c426bac8bb nova: create sm of each thread in pager ...

Mainly simplification of the code and getting rid of reserved (Genode) special
cap selectors in the syscall-generic.h file.

Issue #478

2013-10-16 09:26:09 +02:00

..

stdint.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

syscall-generic.h

nova: create sm of each thread in pager

2013-10-16 09:26:09 +02:00

util.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00