Alexander Boettcher 727f29f2e9 Remove obsolete cap selector lock ...

We can use the Genode::Lock abstraction instead of a separate native SM cap.

2012-11-27 10:56:05 +01:00

..

stdint.h

Use NOVA microkernel from github, add 64bit

2012-06-20 19:44:07 +02:00

syscall-generic.h

Remove obsolete cap selector lock

2012-11-27 10:56:05 +01:00

util.h

Whitespace

2012-11-26 09:45:13 +01:00