diff --git a/repos/ports-foc/ports/l4linux.hash b/repos/ports-foc/ports/l4linux.hash
index c80c521a3..b8080eaaa 100644
--- a/repos/ports-foc/ports/l4linux.hash
+++ b/repos/ports-foc/ports/l4linux.hash
@@ -1 +1 @@
-368bd0d9679cfb71fe835cd4b8118e97825b828c
+64de371ac6ca2e4c117e0d3eb827aa97216d30e7
diff --git a/repos/ports-foc/ports/l4linux.port b/repos/ports-foc/ports/l4linux.port
index f5d9fbae8..c3dd7f15c 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) := 7f2ab08eb68fcb0376f20d069040b3c5f8bd7d59
+REV(l4linux) := 25aa4a5f25c920e18aa18899e45c71974058d813
 DIR(l4linux) := src/l4linux
 sym_link     := src/l4linux/arch/l4/drivers