Stefan Kalkowski aefbc47c56 hw: preserve slack time, favor activated jobs ...

In the scheduler's implementation preserve the consumed slack-time
over periods of activation/deactivation, but instead of appending
activated jobs to the end of the slack queue, insert it as new head.
Thereby, the extreme discrimination of threads with short execution
times and frequent blocking behaviour against long running computations
gets avoided.

Fix genodelabs/genode#4796

2024-04-19 08:54:21 +02:00

..

board

Remove i.MX6 platforms from base repositories

2023-07-14 12:06:31 +02:00

etc

base: remove SPEC variables of boards (fix #3971)

2021-01-25 13:58:09 +01:00

include

hw: rename Vm_data to Vcpu_data

2024-02-26 08:31:05 +01:00

lib/mk

hw: re-name scheduler files according to class

2024-02-26 08:59:10 +01:00

recipes

depot: update recipe hashes

2024-04-12 15:08:01 +02:00

run

hw: replace double_list implementation

2024-02-26 08:59:09 +01:00

src

hw: preserve slack time, favor activated jobs

2024-04-19 08:54:21 +02:00