Ehmry - 895c06ee0b Build base-nova using Genode Labs build system		2020-02-19 13:26:15 +01:00
..
default.nix	Build base-nova using Genode Labs build system	2020-02-19 13:26:15 +01:00
toolchain.nix	Move packaging of Genode core repositories here	2020-01-22 13:02:43 +01:00