diff --git a/repos/ports/run/seoul-auto.run b/repos/ports/run/seoul-auto.run
index 270110d9a2..8d5a647dda 100644
--- a/repos/ports/run/seoul-auto.run
+++ b/repos/ports/run/seoul-auto.run
@@ -29,6 +29,7 @@ set use_usb           0
 
 set use_framebuffer   1
 set use_fancy_stuff   0
+set use_top           0
 
 set memory_vmm_vm     "128M"
 
diff --git a/repos/ports/run/seoul-disc.run b/repos/ports/run/seoul-disc.run
index de132f7403..eccff46909 100644
--- a/repos/ports/run/seoul-disc.run
+++ b/repos/ports/run/seoul-disc.run
@@ -22,6 +22,7 @@ set use_usb           0
 
 set use_framebuffer   1
 set use_fancy_stuff   0
+set use_top           0
 
 set memory_vmm_vm     "512M"
 
diff --git a/repos/ports/run/seoul-fancy.run b/repos/ports/run/seoul-fancy.run
index bbb7f91f19..e757b763e7 100644
--- a/repos/ports/run/seoul-fancy.run
+++ b/repos/ports/run/seoul-fancy.run
@@ -25,6 +25,7 @@ set use_usb           0
 
 set use_framebuffer   1
 set use_fancy_stuff   1
+set use_top           0
 
 set memory_init       "288M"
 set memory_vmm_vm     "128M"
diff --git a/repos/ports/run/seoul-genode.run b/repos/ports/run/seoul-genode.run
index ddc9814c17..1d4c28f611 100644
--- a/repos/ports/run/seoul-genode.run
+++ b/repos/ports/run/seoul-genode.run
@@ -23,6 +23,7 @@ set use_usb           0
 
 set use_framebuffer   1
 set use_fancy_stuff   0
+set use_top           0
 
 set memory_vmm_vm     "128M"
 
diff --git a/repos/ports/run/seoul-kernelbuild.run b/repos/ports/run/seoul-kernelbuild.run
index 2d08e59bc5..630ef86602 100644
--- a/repos/ports/run/seoul-kernelbuild.run
+++ b/repos/ports/run/seoul-kernelbuild.run
@@ -29,6 +29,7 @@ set use_usb           0
 
 set use_framebuffer   0
 set use_fancy_stuff   0
+set use_top           0
 
 set memory_vmm_vm     "950M"
 
diff --git a/repos/ports/run/seoul-net.run b/repos/ports/run/seoul-net.run
index 9c38db8ce0..74cd0c96a0 100644
--- a/repos/ports/run/seoul-net.run
+++ b/repos/ports/run/seoul-net.run
@@ -22,6 +22,7 @@ set use_usb           0
 
 set use_framebuffer   1
 set use_fancy_stuff   0
+set use_top           0
 
 set memory_vmm_vm     "128M"
 
diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index 65870f4cd0..bda73fe77d 100644
--- a/repos/ports/run/seoul.inc
+++ b/repos/ports/run/seoul.inc
@@ -45,6 +45,7 @@ lappend_if $use_fancy_stuff     build_components server/nitlog
 lappend_if $use_fancy_stuff     build_components server/report_rom
 lappend_if $use_genode_iso      build_components server/iso9660
 lappend_if $use_genode_iso      build_components server/rom_blk
+lappend_if $use_top             build_components app/top
 
 append_platform_drv_build_components
 
@@ -152,7 +153,12 @@ append config {
 		<service name="PD"/>
 		<service name="RM"/>
 		<service name="CPU"/>
-		<service name="LOG"/>
+		<service name="LOG"/>}
+
+append_if $use_top config {
+		<service name="TRACE"/>}
+
+append config {
 	</parent-provides>
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
@@ -326,6 +332,12 @@ append_if $use_fancy_stuff config {
 		</route>
 	</start>}
 
+append_if $use_top config {
+	<start name="top">
+		<resource name="RAM" quantum="2M"/>
+		<config period_ms="10000"/>
+	</start>}
+
 append config {
 </config>}
 
@@ -425,6 +437,8 @@ lappend_if $use_genode_iso    boot_modules genode.iso
 
 lappend_if $use_block_ram     boot_modules seoul-disc.raw
 
+lappend_if $use_top           boot_modules top
+
 #
 # Add OS binaries of guest
 #