genode/repos/base-nova/include/spec/32bit/nova
2022-11-18 14:45:27 +01:00
..
syscalls.h nova: use kernel with suspend/resume support 2022-11-18 14:45:27 +01:00