Martin Stein 7c133add52 hw: acknowledge IRQs via Kernel::ack_irq ... In the past, when the user blocked for an IRQ signal, the last signal was acknowledged automatically thereby unmasking the IRQ. Now, the signal session got a dedicated RPC for acknowledging IRQs and the HW back-end of that RPC acknowledged the IRQ signal too. This led to the situation that IRQs were unmasked twice. However, drivers expect an interrupt to be unmasked only on the Irq_session::ack_irq and thus IRQ unmasking was moved from Kernel::ack_signal to a dedicated kernel call. Fixes #1493		2015-05-06 10:55:23 +02:00
..
doc	imx31: remove platform completely (fix #1360)	2015-01-12 14:24:15 +01:00
include	base: make irq_session asynchronous	2015-04-23 16:47:58 +02:00
lib	hw: separate function declaration/implementation	2015-05-06 10:55:23 +02:00
mk	hw: support Wandboard Quad (i.MX6)	2015-04-09 16:04:43 +02:00
run	CPU session: apply quota via relative weightings	2015-05-06 10:55:16 +02:00
src	hw: acknowledge IRQs via Kernel::ack_irq	2015-05-06 10:55:23 +02:00