genode/repos/base-nova/include/spec/32bit/nova
2016-11-25 15:30:57 +01:00
..
syscalls.h nova: support asynchronous delegate 2016-11-25 15:30:57 +01:00