mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-16 15:29:57 +00:00
The processor scheduler can determine without much overhead wether the currently scheduled client becomes out-dated due to the insertion of another client. This can be used to safe inter-processor interrupts when a remote insertion doesn't imply an update of the currently scheduled client. fix #1088