Update Genode revision
The label used to request an unlabeled LOG session is now "unlabeled" and more of the gems repo is built now.
This commit is contained in:
parent
dad28cc17b
commit
bb659887f3
|
@ -4,6 +4,12 @@
|
||||||
|
|
||||||
let
|
let
|
||||||
|
|
||||||
|
src = nixpkgs.fetchgit {
|
||||||
|
url = "https://git.sr.ht/~ehmry/genode";
|
||||||
|
rev = "71e1a286e5f87091619ad06d5faefe5818f726f8";
|
||||||
|
sha256 = "1z8j5l0v9bkp7vl5y7x6xagpv593b8fj0xh91asx4f6lmydw9igq";
|
||||||
|
};
|
||||||
|
|
||||||
inherit (nixpkgs) buildPackages llvmPackages;
|
inherit (nixpkgs) buildPackages llvmPackages;
|
||||||
|
|
||||||
sourceForgeToolchain = nixpkgs.buildPackages.callPackage ./toolchain.nix { };
|
sourceForgeToolchain = nixpkgs.buildPackages.callPackage ./toolchain.nix { };
|
||||||
|
@ -138,12 +144,6 @@ let
|
||||||
};
|
};
|
||||||
in toTupConfig stdenvLlvm (f stdenvLlvm);
|
in toTupConfig stdenvLlvm (f stdenvLlvm);
|
||||||
|
|
||||||
src = nixpkgs.fetchgit {
|
|
||||||
url = "https://git.sr.ht/~ehmry/genode";
|
|
||||||
rev = "5d4e72c874ef5ff2ff6fbb5a29e06a654bcc2712";
|
|
||||||
sha256 = "0i4prwmv83vzvi1i2kb1qkk81qa1ydf2ayc516w5sg7niryaahb0";
|
|
||||||
};
|
|
||||||
|
|
||||||
buildRepo = { env, repo, repoInputs }:
|
buildRepo = { env, repo, repoInputs }:
|
||||||
env.mkDerivation {
|
env.mkDerivation {
|
||||||
pname = repo;
|
pname = repo;
|
||||||
|
@ -272,4 +272,4 @@ let
|
||||||
inherit text;
|
inherit text;
|
||||||
};
|
};
|
||||||
|
|
||||||
in drvs // manifest
|
in drvs // manifest // { pname = "genode"; inherit manifest; }
|
||||||
|
|
|
@ -76,7 +76,7 @@ in λ(boot : Genode.Boot.Type)
|
||||||
[ Genode.ServiceRoute.parentLabel
|
[ Genode.ServiceRoute.parentLabel
|
||||||
"LOG"
|
"LOG"
|
||||||
(Some "SOTEST")
|
(Some "SOTEST")
|
||||||
(Some "platform")
|
(Some "unlabeled")
|
||||||
]
|
]
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue