Stefan Kalkowski 8e2c95e5e4 hw: replace double_list implementation ...

Replace double linked list by normal Genode::List with an additional
pointer to last list member to efficiently handle the scheduler share lists.
Moreover, move it into the private part of the Cpu_scheduler class,
the only scope where it is used anymore.

Ref genodelabs/genode#5115

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

..

cpu_quota.run

Move cpu_quota.run from os to base-hw repository

2023-05-30 12:03:26 +02:00

cpu_scheduler.run

base: use [build_artifacts] in run scripts

2023-05-30 12:03:26 +02:00