genode/repos/os/src/drivers/sd_card
Martin Stein d8e91908a2 sd_card & imx53: install IRQ signal handler
Previously, it was not necessary to acknowledge an IRQ initially before using
it. However, since the IRQ framework changed lately it is. Adapt to this.

Ref #1497
2015-11-29 18:17:02 +01:00
..
spec sd_card & imx53: install IRQ signal handler 2015-11-29 18:17:02 +01:00
sd_card.h os: detection of standard-capacity SD cards 2015-04-09 16:04:46 +02:00