mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-11 21:45:37 +00:00
55492fbe5b
By assigning CPU budgets, base-hw's priorities come into effect. Even though the chosen values are rather guessed than informed, they yield a visibly improved responsiveness on the Pinephone.