genode/repos/os/include/spec/arm
Stefan Kalkowski 516601b7ba os: add Platform::Device::sigh_omit_initial_signal
Add possibility to register an interrupt handler without triggering
an initial spurious interrupt for ported device driver code.

Fixes #4154
2021-05-28 14:15:27 +02:00
..
os Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
platform_session os: add Platform::Device::sigh_omit_initial_signal 2021-05-28 14:15:27 +02:00