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 &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) { }