genode/repos/os/src/drivers/sd_card
Stefan Kalkowski 5aee80ee32 pl180: remove irrelevant usage of Irq_handler
Although the driver makes no use of interrupts it references Irq_handler
for unknown reasons. Moreover, this commit eliminates the lock that is
not necessary anymore, because the driver now runs single-threaded.

Ref #2072
2016-08-29 17:29:35 +02:00
..
spec pl180: remove irrelevant usage of Irq_handler 2016-08-29 17:29:35 +02:00
sd_card.h base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00