From 6af893123ec8ca557b4a0e8faf61021e12e50e21 Mon Sep 17 00:00:00 2001 From: Reto Buerki Date: Tue, 12 May 2015 21:50:57 +0200 Subject: [PATCH] hw_x86_64: Only block masking of legacy IRQs Allow legacy IRQ unmasking. Initially, all IRQs are masked and must be explicitly unmasked by a driver. --- repos/base-hw/src/core/include/spec/x86/pic.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-hw/src/core/include/spec/x86/pic.h b/repos/base-hw/src/core/include/spec/x86/pic.h index b5ddc71db7..7550766652 100644 --- a/repos/base-hw/src/core/include/spec/x86/pic.h +++ b/repos/base-hw/src/core/include/spec/x86/pic.h @@ -112,7 +112,7 @@ class Genode::Ioapic : public Mmio * flag and edge-triggered interrupts or: * http://yarchive.net/comp/linux/edge_triggered_interrupts.html */ - if (_edge_triggered(vector)) { return; } + if (_edge_triggered(vector) && set) { return; } write(IOREDTBL + (2 * (vector - REMAP_BASE))); Irte::access_t irte = read();