Update Genode revision

This update brings in the platform logging commit.
This commit is contained in:
Ehmry - 2020-01-22 12:22:42 +01:00
parent 48eec79d46
commit 2aefd243f8
1 changed files with 2 additions and 2 deletions

View File

@ -140,8 +140,8 @@ let
src = nixpkgs.fetchgit {
url = "https://git.sr.ht/~ehmry/genode";
rev = "42f93ce3da14663575f7f24d299315688facd545";
sha256 = "1rjjmq4qx9vsm0cbnr9h5n2gr8zbw1dpnhqjlyfvs44andzps5qd";
rev = "f91c4824977ef907a86c6a5980d3cb556f6b8af3";
sha256 = "18hmklnw092myr1yza0v1k7zi3dnc4x64kwlg46pf2rgnijxyhqr";
};
buildRepo = { env, repo, repoInputs }: