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 #include #include +#include #include #include #include @@ -158,7 +159,7 @@ private: std::atomic _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 _local_epochs;