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