Ehmry - f3071fbbcf Add all Genode Labs depot packages to target list ... This is to make it possible to refer to any of the depot packages externally via the flake. Not everything will build, but what should build can be enumerated now. Some packages are missing a required "portInputs" attribute, and in some cases those ports will be missing.		2020-11-17 11:36:37 +01:00
..
patches	genodeSources: patch ld to load read-only segments	2020-11-16 00:38:21 +01:00
default.nix	genodeSources: patch ld to load read-only segments	2020-11-16 00:38:21 +01:00
depot-targets.nix	Add all Genode Labs depot packages to target list	2020-11-17 11:36:37 +01:00
make-targets.nix	packages/genodelabs: move all those patches to a subdir	2020-11-13 15:21:04 +01:00
ports.nix	packages/genodelabs: move all those patches to a subdir	2020-11-13 15:21:04 +01:00
toolchain.nix	Add aarch64 platform	2020-06-03 16:56:33 +05:30