From 305228a5da4ccd9b115687c63f8ad3160aafd9b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Wed, 6 Jul 2022 18:16:37 +0200
Subject: [PATCH] Missed constructor argument for Timer.

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

diff --git a/src/mx/memory/reclamation/epoch_manager.h b/src/mx/memory/reclamation/epoch_manager.h
index 288f581..c939218 100644
--- a/src/mx/memory/reclamation/epoch_manager.h
+++ b/src/mx/memory/reclamation/epoch_manager.h
@@ -11,6 +11,7 @@
 #include <mx/memory/dynamic_size_allocator.h>
 #include <mx/resource/resource_interface.h>
 #include <mx/system/builtin.h>
+#include <mx/system/environment.h>
 #include <mx/tasking/config.h>
 #include <mx/tasking/task.h>
 #include <mx/util/aligned_t.h>
@@ -158,7 +159,7 @@ private:
     std::atomic<epoch_t> _global_epoch{0U};
 
     // Genode Timer object, needed for waking up periodically
-    Timer::Connection _timer { /* TODO: Get environment for Genode */ };
+    Timer::Connection _timer { system::Environment::env };
 
     // Local epochs, one for every channel.
     alignas(64) std::array<LocalEpoch, tasking::config::max_cores()> _local_epochs;