Files
genode/repos/base-hw
Johannes Schlatow a0072f2cd2 cpu_session: fix off-by-one in scale_priority()
Generic priority values actually range from 0 to PRIORITY_LIMIT-1,
hence the resulting platform priority is in the range from 0 to
pf_prio_limit-1.

Fixes #5603
2025-06-19 10:25:36 +02:00
..
2025-05-28 08:23:47 +02:00
2025-02-24 16:39:20 +01:00