diff options
author | Emery Hemingway <ehmry@posteo.net> | 2020-03-24 13:32:18 +0530 |
---|---|---|
committer | Emery Hemingway <ehmry@posteo.net> | 2020-03-24 20:41:21 +0530 |
commit | 9f91fa02a6a3e6800dff5f80f061410e83aaeb28 (patch) | |
tree | 177b918c4f47906fa66cb7436b724ac386e1b9a3 /lib/systems/default.nix | |
parent | 5ee77aa47c320b725086b001cad8afb1997ad62b (diff) |
lib/systems: Add Genode platform definitions
Add platform definitions for 64-bit ARM and x86. This is sufficient for for building Genode where a toolchain is provided as an overlay. Toolchain: git+https://git.sr.ht/~ehmry/genodepkgs?rev=14fc773ac9ecd2cbb30cb4612b284eee83d83546
Diffstat (limited to 'lib/systems/default.nix')
-rw-r--r-- | lib/systems/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/systems/default.nix b/lib/systems/default.nix index 4ca932d179219..210674cc6399b 100644 --- a/lib/systems/default.nix +++ b/lib/systems/default.nix @@ -65,6 +65,7 @@ rec { freebsd = "FreeBSD"; openbsd = "OpenBSD"; wasi = "Wasi"; + genode = "Genode"; }.${final.parsed.kernel.name} or null; # uname -p |