Stefan Kalkowski debd41081e base-hw: optimize & cleanup scheduler ...

* Remove useless `ready_check` function
* Implement fine-grained checking when schedule updating is necessary

Ref genodelabs/genode#4151

2022-10-12 11:59:08 +02:00

..

board

board: Rename virt_qemu to virt_qemu_<arch>

2022-08-17 12:03:26 +02:00

etc

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

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

include

hw: unify architectural kernel interface header

2022-02-28 11:45:18 +01:00

lib/mk

base-hw: problems with timeout lib in src recipe

2022-10-12 11:59:08 +02:00

recipes

base-hw: problems with timeout lib in src recipe

2022-10-12 11:59:08 +02:00

run

base-hw: fix run scripts

2020-02-20 12:11:21 +01:00

src

base-hw: optimize & cleanup scheduler

2022-10-12 11:59:08 +02:00