Files
genode/repos/base-nova/ports
Alexander Boettcher 6513d0ce0f nova: build fixes with GCC 6 of kernel
Fixes #2379
Fixes #2380
2017-05-31 13:15:53 +02:00
..