From c5786b212bd1c7dea4dbdc174b7d15260ef06b58 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Fri, 15 Feb 2019 13:55:13 +0100
Subject: [PATCH] Update Seoul contrib code for new Fifo accessors

Ref #3135
---
 repos/ports/ports/seoul.hash | 2 +-
 repos/ports/ports/seoul.port | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

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
 
 #