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

This fixes the core page-faults.
---
 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 dadc2fd..6fa24b9 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 = "f91c4824977ef907a86c6a5980d3cb556f6b8af3";
-    sha256 = "18hmklnw092myr1yza0v1k7zi3dnc4x64kwlg46pf2rgnijxyhqr";
+    rev = "5d4e72c874ef5ff2ff6fbb5a29e06a654bcc2712";
+    sha256 = "0i4prwmv83vzvi1i2kb1qkk81qa1ydf2ayc516w5sg7niryaahb0";
   };
 
   buildRepo = { env, repo, repoInputs }: