diff --git a/src/mx/tasking/worker.h b/src/mx/tasking/worker.h
index 3ed5d3b..e504320 100644
--- a/src/mx/tasking/worker.h
+++ b/src/mx/tasking/worker.h
@@ -32,6 +32,16 @@ public:
      */
     void execute();
 
+    static void *entry(void *args) { 
+        Worker *worker = static_cast<Worker *>(args);
+        if (worker == nullptr) {
+            Genode::error("No worker found.");
+            return nullptr;
+        }
+        worker->execute();
+        return nullptr;
+    }
+
     /**
      * @return Id of the logical core this worker runs on.
      */