On 08.11.18 09:30, Alexander Boettcher wrote:
vCPUs) on the same timeslice are not considered to be scheduled again,
Sorry, "on the same timeslice" must be replaced by "on the same priority
level"
Cheers,
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com -
https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth