genode/repos/base-nova/include/32bit
Alexander Boettcher f5329c23b7 nova: update to kernel branch introducing signals
+ adjust syscall headers accordingly

Issue #1446
2015-03-27 11:53:11 +01:00
..
nova nova: update to kernel branch introducing signals 2015-03-27 11:53:11 +01:00