ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-16 14:18:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
c5d8a4341868e931c6f0d0431b901b82c01b51fc
genode/repos/os/include/spec/arm/platform_session
History
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
..
client.h
platform driver: make device info XML optional
2021-05-05 11:31:16 +02:00
connection.h
platform driver: make device info XML optional
2021-05-05 11:31:16 +02:00
device.h
os: add Platform::Device::sigh_omit_initial_signal
2021-05-28 14:15:27 +02:00
platform_session.h
platform driver: make device info XML optional
2021-05-05 11:31:16 +02:00