diff --git a/repos/ports/ports/seoul.hash b/repos/ports/ports/seoul.hash
index 49f96a4e40..add617c02a 100644
--- a/repos/ports/ports/seoul.hash
+++ b/repos/ports/ports/seoul.hash
@@ -1 +1 @@
-a417db30615df66f54ab57511bc4fab0ef2b79cf
+a0d13a5e10a8d7ac752de722e156695982d8d07d
diff --git a/repos/ports/ports/seoul.port b/repos/ports/ports/seoul.port
index 421b4835f9..72cd01ea63 100644
--- a/repos/ports/ports/seoul.port
+++ b/repos/ports/ports/seoul.port
@@ -2,9 +2,9 @@ LICENSE   := GPLv2
 VERSION   := git
 DOWNLOADS := seoul.git
 
-URL(seoul) := https://github.com/alex-ab/seoul.git
-# branch genode_18_05
-REV(seoul) := 01482004511abec65704ff9c32355f0e79ecf84a
+URL(seoul) := https://github.com/ehmry/seoul.git
+# branch PARAM
+REV(seoul) := f9b1d0a699971cf55d9e974a3caf77ef86cd6c0b
 DIR(seoul) := src/app/seoul
 
 #