diff --git a/repos/ports/ports/seoul.hash b/repos/ports/ports/seoul.hash
index e510bee10e..0ddf311f39 100644
--- a/repos/ports/ports/seoul.hash
+++ b/repos/ports/ports/seoul.hash
@@ -1 +1 @@
-e6e6d4f8b6e3ee3d7c6389b23493e3c5d647e7df
+02abcfcffb40098c98656bcf8ba3d88d4d709cf5
diff --git a/repos/ports/ports/seoul.port b/repos/ports/ports/seoul.port
index dd2451856b..201533f87c 100644
--- a/repos/ports/ports/seoul.port
+++ b/repos/ports/ports/seoul.port
@@ -3,8 +3,8 @@ VERSION   := git
 DOWNLOADS := seoul.git
 
 URL(seoul) := https://github.com/alex-ab/seoul.git
-# branch genode_15_11
-REV(seoul) := 31c07e2b61e67732dbb115561665ebb3415a49a7
+# branch genode_17_05
+REV(seoul) := 878f0ea5593d0bc87bbbad3c5499c26d5f64d472
 DIR(seoul) := src/app/seoul
 
 #
@@ -33,3 +33,5 @@ additional_steps : $(DOWNLOADS)
 	          ./genreg.py reg_pci.py ../../include/model/intel82576vfpci.inc && \
 	cd $(CURDIR)/$(I82576VF_DIR) && \
 	          ./genreg.py reg_mmio.py ../../include/model/intel82576vfmmio.inc
+
+.PHONY: additional_steps