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

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to