mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 03:40:15 +00:00
044a109c3a
This is needed as soon as we do inter-processor interrupts to inform a processor about a remote modification in its scheduling plan. In this case we can not explicitely decide wether to reset timer or not. Instead we must decide it according to the choices of the scheduler before and after the modification. ref #1088