Ehmry - a8ad99b3d9 Update Genode Labs sources		2020-11-27 12:22:07 +01:00
..
patches	Update Genode Labs sources	2020-11-27 12:22:07 +01:00
default.nix	genodePackages: symlink *.lib.so to lib*.so in depot outputs	2020-11-27 11:45:16 +01:00
depot-targets.nix	Update Genode Labs sources	2020-11-27 12:22:07 +01:00
make-targets.nix	Update Genode Labs sources	2020-11-27 12:22:07 +01:00
ports.nix	Update Genode Labs sources	2020-11-27 12:22:07 +01:00
toolchain.nix	Add aarch64 platform	2020-06-03 16:56:33 +05:30