genode/base-nova/include/nova
2012-07-04 14:56:45 +02:00
..
stdint.h Use NOVA microkernel from github, add 64bit 2012-06-20 19:44:07 +02:00
syscall-generic.h Move semaphore op codes to generic syscall 2012-07-04 14:56:45 +02:00