diff --git a/packages/genode/default.nix b/packages/genode/default.nix index 6fa24b9..d68d858 100644 --- a/packages/genode/default.nix +++ b/packages/genode/default.nix @@ -4,6 +4,12 @@ let + src = nixpkgs.fetchgit { + url = "https://git.sr.ht/~ehmry/genode"; + rev = "71e1a286e5f87091619ad06d5faefe5818f726f8"; + sha256 = "1z8j5l0v9bkp7vl5y7x6xagpv593b8fj0xh91asx4f6lmydw9igq"; + }; + inherit (nixpkgs) buildPackages llvmPackages; sourceForgeToolchain = nixpkgs.buildPackages.callPackage ./toolchain.nix { }; @@ -138,12 +144,6 @@ let }; in toTupConfig stdenvLlvm (f stdenvLlvm); - src = nixpkgs.fetchgit { - url = "https://git.sr.ht/~ehmry/genode"; - rev = "5d4e72c874ef5ff2ff6fbb5a29e06a654bcc2712"; - sha256 = "0i4prwmv83vzvi1i2kb1qkk81qa1ydf2ayc516w5sg7niryaahb0"; - }; - buildRepo = { env, repo, repoInputs }: env.mkDerivation { pname = repo; @@ -272,4 +272,4 @@ let inherit text; }; -in drvs // manifest +in drvs // manifest // { pname = "genode"; inherit manifest; } diff --git a/tests/driver-nova-config.dhall b/tests/driver-nova-config.dhall index 06dcfda..8018fc3 100644 --- a/tests/driver-nova-config.dhall +++ b/tests/driver-nova-config.dhall @@ -76,7 +76,7 @@ in λ(boot : Genode.Boot.Type) [ Genode.ServiceRoute.parentLabel "LOG" (Some "SOTEST") - (Some "platform") + (Some "unlabeled") ] } }