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
2020-03-24 20:41:21 +05:30
parent 5ee77aa47c
commit 9f91fa02a6
5 changed files with 11 additions and 2 deletions
@@ -65,6 +65,7 @@ rec {
          freebsd = "FreeBSD";
          openbsd = "OpenBSD";
          wasi = "Wasi";
+          genode = "Genode";
        }.${final.parsed.kernel.name} or null;

         # uname -p