From 07aeabff94e89260e2cdf4bd7712f67edcdbc504 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Thu, 30 Jun 2022 15:30:18 +0200
Subject: [PATCH] WIP: Migrate mx::tasking::Scheduler to Genode threads.

---
 src/mx/tasking/scheduler.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mx/tasking/scheduler.cpp b/src/mx/tasking/scheduler.cpp
index a3a85dc..73d7c10 100644
--- a/src/mx/tasking/scheduler.cpp
+++ b/src/mx/tasking/scheduler.cpp
@@ -46,7 +46,7 @@ void Scheduler::start_and_wait()
                                             static_cast<std::uint16_t>(config::memory_reclamation() != config::None));
     for (auto channel_id = 0U; channel_id < this->_core_set.size(); ++channel_id)
     {
-        worker_threads[channel_id] = std::thread([this, channel_id] { this->_worker[channel_id]->execute(); });
+        this->_worker[channel_id]->start();
 
         system::thread::pin(worker_threads[channel_id], this->_worker[channel_id]->core_id());
     }