VirtualBox subsystem on reconfigurable init

[Alexander Boettcher]

Hello,

On 28.04.2017 15:24, Martijn Verschoor wrote:
> 	<start name="launcher">
> +		<binary name="init"/>
> +		<resource name="RAM" quantum="1500M"/>
> +		<config>

I think this is not good. The sub-init gets started on the highest
possible priority(band) - you need at least priority="-2" here (as it
was for the virtualbox instance beforehand.

(You may also enable in your run script cpu_monitor variable to see who
get what part of the CPU share).

Hope it helps,

-- 
Alexander Boettcher
Genode Labs

http://www.genode-labs.com - http://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth