diff --git a/upstream/default.nix b/upstream/default.nix
index 6dac7fb..c859123 100644
--- a/upstream/default.nix
+++ b/upstream/default.nix
@@ -34,8 +34,8 @@ let
 
       src = fetchgit {
         url = "https://git.sr.ht/~ehmry/genode";
-        rev = "d28abff776f94dc876662eb7dcdf5a6e81d26cc8";
-        sha256 = "1ibw27s352c2si22y209q17api8gaqv7qsh70vh4wk9bfv1kgchx";
+        rev = "c425f2b3448622675c36b02fdc00ed4948c09a00";
+        sha256 = "1b5q2s38bmk0zbn4k2h2ar6rlf9r0656fbf1s0gnb2jaqslmn2ql";
         fetchSubmodules = false;
       };