Ehmry - ad35327d80 WiP! patch usb configuration to suck less		2020-12-20 11:03:48 +01:00
..
patches	WiP! patch usb configuration to suck less	2020-12-20 11:03:48 +01:00
default.nix	fixup extraRepos	2020-12-20 10:39:57 +01:00
depot-targets.nix	WiP! patch usb configuration to suck less	2020-12-20 11:03:48 +01:00
make-targets.nix	Update Genode Labs sources	2020-11-27 15:03:29 +01:00
ports.nix	Genode: 20201127 -> 20201218	2020-12-20 11:03:32 +01:00
toolchain.nix	Add aarch64 platform	2020-06-03 16:56:33 +05:30