genode/repos/base-nova/include/spec/32bit/nova
2018-02-14 20:41:05 +01:00
..
syscalls.h nova: provide exec. time caused by cross core IPC 2018-02-14 20:41:05 +01:00