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