genode/repos/base-hw
Martin Stein ff6595f150 hw: enable destruction of IRQ sessions
Implement the missing Irq_session_component destructor.

Fix #1460
2015-03-27 11:53:13 +01:00
..
doc imx31: remove platform completely (fix #1360) 2015-01-12 14:24:15 +01:00
include tz_vmm: support USB-Armory board 2015-02-27 11:48:35 +01:00
lib base: refactor signal_transmitter::submit 2015-03-19 09:32:52 +01:00
mk hw: support USB-Armory board 2015-02-27 11:48:35 +01:00
run run: modularize run tool 2015-01-26 12:28:40 +01:00
src hw: enable destruction of IRQ sessions 2015-03-27 11:53:13 +01:00