From 9f91fa02a6a3e6800dff5f80f061410e83aaeb28 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Tue, 24 Mar 2020 13:32:18 +0530
Subject: 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
---
 lib/systems/inspect.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/systems/inspect.nix')

diff --git a/lib/systems/inspect.nix b/lib/systems/inspect.nix
index 01dcf0787df..90a1fb6d80c 100644
--- a/lib/systems/inspect.nix
+++ b/lib/systems/inspect.nix
@@ -47,6 +47,7 @@ rec {
     isMinGW        = { kernel = kernels.windows; abi = abis.gnu; };
     isWasi         = { kernel = kernels.wasi; };
     isGhcjs        = { kernel = kernels.ghcjs; };
+    isGenode       = { kernel = kernels.genode; };
     isNone         = { kernel = kernels.none; };
 
     isAndroid      = [ { abi = abis.android; } { abi = abis.androideabi; } ];
-- 
cgit 1.4.1