diff --git a/repos/ports-foc/ports/l4linux.hash b/repos/ports-foc/ports/l4linux.hash
index dbb61ccbf..c80c521a3 100644
--- a/repos/ports-foc/ports/l4linux.hash
+++ b/repos/ports-foc/ports/l4linux.hash
@@ -1 +1 @@
-60792b132cd767f53991729999939a28b742f74d
+368bd0d9679cfb71fe835cd4b8118e97825b828c
diff --git a/repos/ports-foc/ports/l4linux.port b/repos/ports-foc/ports/l4linux.port
index 41dc84dab..f5d9fbae8 100644
--- a/repos/ports-foc/ports/l4linux.port
+++ b/repos/ports-foc/ports/l4linux.port
@@ -2,7 +2,7 @@ LICENSE      := GPLv2
 VERSION      := git
 DOWNLOADS    := l4linux.git
 URL(l4linux) := https://github.com/skalk/l4linux.git
-REV(l4linux) := f2eebaebf7d304dec7eb49ca5b9a020603cf6cb6
+REV(l4linux) := 7f2ab08eb68fcb0376f20d069040b3c5f8bd7d59
 DIR(l4linux) := src/l4linux
 sym_link     := src/l4linux/arch/l4/drivers