diff --git a/repos/os/src/init/child.cc b/repos/os/src/init/child.cc index ff5bcc8b3c..bbc19cfca0 100644 --- a/repos/os/src/init/child.cc +++ b/repos/os/src/init/child.cc @@ -11,6 +11,8 @@ * under the terms of the GNU Affero General Public License version 3. */ +#include + /* local includes */ #include @@ -600,7 +602,9 @@ void Init::Child::filter_session_args(Service::Name const &service, /* * Intercept CPU session requests to scale priorities */ - if (service == Cpu_session::service_name() && _prio_levels_log2 > 0) { + if ((service == Cpu_session::service_name() || + service == Vm_session::service_name()) + && _prio_levels_log2 > 0) { unsigned long priority = Arg_string::find_arg(args, "priority").ulong_value(0);