genode/repos/os
Stefan Kalkowski 7949c194e9 gpio_drv: mask IRQ until it is acknowledged
When working with GPIO interrupts on i.MX6SX for Ethernet PHYs
it became obvious that the GPIO driver repeatedly receives interrupts
for the same event, because it acknowledges the interrupt before a
client has handled the event.

Ref #2750
2018-04-19 12:38:24 +02:00
..
doc Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
include net: packed attribute for Icmp_packet 2018-04-10 13:03:26 +02:00
lib net: ICMP protocol 2018-04-10 11:11:52 +02:00
recipes nvme_drv: add driver for NVMe storage devices 2018-04-19 12:38:22 +02:00
run nvme_drv: add driver for NVMe storage devices 2018-04-19 12:38:22 +02:00
src gpio_drv: mask IRQ until it is acknowledged 2018-04-19 12:38:24 +02:00
README API documentation refinements 2017-05-31 13:16:21 +02:00

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.