diff --git a/repos/os/src/server/nic_router/session_env.h b/repos/os/src/server/nic_router/session_env.h index 8b5fa4061b..3b3418faca 100644 --- a/repos/os/src/server/nic_router/session_env.h +++ b/repos/os/src/server/nic_router/session_env.h @@ -135,6 +135,11 @@ class Genode::Session_env : public Ram_allocator, return result; } + Alloc_result try_alloc(size_t size, Numa_id, Cache cache) override + { + // TODO: Actually perform allocation from node numa_id here + return try_alloc(size, cache); + } void free(Ram_dataspace_capability ds) override {