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/doubles.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/doubles.nix')
-rw-r--r-- | lib/systems/doubles.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/systems/doubles.nix b/lib/systems/doubles.nix index 619b0427918d..a839b3d3d573 100644 --- a/lib/systems/doubles.nix +++ b/lib/systems/doubles.nix @@ -35,6 +35,8 @@ let "vc4-none" "js-ghcjs" + + "aarch64-genode" "x86_64-genode" ]; allParsed = map parse.mkSystemFromString all; @@ -68,6 +70,7 @@ in { unix = filterDoubles predicates.isUnix; wasi = filterDoubles predicates.isWasi; windows = filterDoubles predicates.isWindows; + genode = filterDoubles predicates.isGenode; embedded = filterDoubles predicates.isNone; |