diff --git a/repos/os/src/hoitaja/habitat.cc b/repos/os/src/hoitaja/habitat.cc index 40e668a2c4..ba84770962 100644 --- a/repos/os/src/hoitaja/habitat.cc +++ b/repos/os/src/hoitaja/habitat.cc @@ -1,6 +1,5 @@ #include "habitat.h" #include -#include ::Sandbox::Child &Hoitaja::Habitat::create_child(Genode::Xml_node const &start_node) { @@ -131,9 +130,4 @@ void Hoitaja::Habitat::update(Cell &cell) /* Update resource allocations, as there are new resources available */ maintain_cells(); } -} - -void Hoitaja::Core_allocation_request::handle(Hoitaja::Cell&, Hoitaja::Habitat&) -{ - Genode::Parent::Resource_args grant_args("cpu_quota=10"); } \ No newline at end of file