From 794b019a8a62f46dec119406be0425e7c1de369a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 6 Dec 2022 14:30:05 +0100
Subject: [PATCH] sculpt/launcher: add top launcher

---
 repos/gems/sculpt/launcher/top | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 repos/gems/sculpt/launcher/top

diff --git a/repos/gems/sculpt/launcher/top b/repos/gems/sculpt/launcher/top
new file mode 100644
index 0000000000..8bd0ab2601
--- /dev/null
+++ b/repos/gems/sculpt/launcher/top
@@ -0,0 +1,9 @@
+<launcher pkg="top">
+
+	<route>
+		<service name="TRACE"> <parent/> </service>
+	</route>
+
+	<config period_ms="5000" sort_time="ec"/>
+
+</launcher>