From 699216d0ce024cac320a6624602b536c1f65a1c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Tue, 5 Jul 2022 18:57:56 +0200
Subject: [PATCH] Call constructor for Thread.

---
 src/mx/memory/reclamation/epoch_manager.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/mx/memory/reclamation/epoch_manager.h b/src/mx/memory/reclamation/epoch_manager.h
index 110d05a..288f581 100644
--- a/src/mx/memory/reclamation/epoch_manager.h
+++ b/src/mx/memory/reclamation/epoch_manager.h
@@ -61,7 +61,9 @@ class EpochManager : Genode::Thread
 public:
     EpochManager(const std::uint16_t count_channels, dynamic::Allocator &allocator,
                  util::maybe_atomic<bool> &is_running) noexcept
-        : _count_channels(count_channels), _is_running(is_running), _allocator(allocator)
+        :
+        Thread(system::Environment::env, Name("EpochManager"), 8192),
+        _count_channels(count_channels), _is_running(is_running), _allocator(allocator)
     {
     }