mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 03:40:15 +00:00
At least with the ARM generic interrupt controller, inter-processor interrupts are edge triggered and banked for all source processors. Thus it might be possible that such an interrupt gets triggered redundantly until the targeted processor is able to grab the kernel lock. As we're only interested in making a processor recognize accumulative updates to its scheduler, we can omit further interrupts if there is one pending already at the targeted processor. ref #1088