Move Genode flake input into overlay

flake.lock

@@ -1,21 +1,5 @@
 {
   "nodes": {
-    "genode": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1606482107,
-        "narHash": "sha256-XgN1fBUsmX8oKk4ZBvROwEWlpILRlJz+UuK4kMDSI1Y=",
-        "owner": "genodelabs",
-        "repo": "genode",
-        "rev": "3fac8b106d83721914797c202793ec1d8ea02d2f",
-        "type": "github"
-      },
-      "original": {
-        "owner": "genodelabs",
-        "repo": "genode",
-        "type": "github"
-      }
-    },
     "nixpkgs": {
       "locked": {
         "lastModified": 1608384842,
@@ -34,7 +18,6 @@
     },
     "root": {
       "inputs": {
-        "genode": "genode",
         "nixpkgs": "nixpkgs"
       }
     }

flake.nix

@@ -1,14 +1,9 @@
 {
   description = "Genode packages";
 
-  inputs.genode = {
-    url = "github:genodelabs/genode";
-    flake = false;
-  };
-
   inputs.nixpkgs.url = "github:ehmry/nixpkgs/genodepkgs";
 
-  outputs = { self, genode, nixpkgs }:
+  outputs = { self, nixpkgs }:
     let
       localSystems = [ "x86_64-linux" ];
       crossSystems = [ "aarch64-genode" "x86_64-genode" ];

packages/genodelabs/default.nix

@@ -13,7 +13,12 @@ let
     else
       throw "unknown Genode arch for platform ${platform.system}";
 
-  upstreamSources = flake.inputs.genode;
+  upstreamSources = pkgs.fetchFromGitHub {
+    owner = "genodelabs";
+    repo = "genode";
+    rev = "3fac8b106d83721914797c202793ec1d8ea02d2f";
+    hash = "sha256-XgN1fBUsmX8oKk4ZBvROwEWlpILRlJz+UuK4kMDSI1Y=";
+  };
 
   genodeSources =
     # The Genode source repository
@@ -27,7 +32,7 @@ let
     in with buildPackages;
     stdenvNoCC.mkDerivation {
       pname = "genode-sources";
-      version = upstreamSources.lastModifiedDate;
+      version = builtins.substring 0 7 upstreamSources.rev;
       src = upstreamSources;
       nativeBuildInputs = [ expect gnumake tcl ];
       patches = [ ./patches/binary-labels.patch ./patches/label-fail.patch ];