From 2aefd243f85033de7fff3b06e2245df7ee72cde4 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Wed, 22 Jan 2020 12:22:42 +0100
Subject: [PATCH] Update Genode revision

This update brings in the platform logging commit.
---
 packages/genode/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/genode/default.nix b/packages/genode/default.nix
index 1e8f698..dadc2fd 100644
--- a/packages/genode/default.nix
+++ b/packages/genode/default.nix
@@ -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 }: