Hi,

I was trying to test the basic IRQ handling in Genode. I simplified the code from os/src/drivers/input/ps2/irq_handler.h and ran it on both QEMU and real machine. However, neither keyboard nor mouse interrupts can be properly captured by my code.

For keyboard (IRQ 1), it keeps triggering interrupt even when there is no key press. For mouse (IRQ 12), there is no interrupt at all. As the ps2_drv works fine in the demo app, I'm sure something is missing in my stand-alone code (or I need to include other modules?). I appreciate if anyone can point it out.

I attached my code here for your reference.

Best, Jilong

=========================================================== class Irq_handler : Genode::Thread<4096> { private:

Genode::Irq_connection _irq; int irq_num; public:

Irq_handler(int irq_number) : _irq(irq_number) { irq_num=irq_number; start(); }

void entry() {

while (1) { _irq.wait_for_irq(); Genode::printf("received an IRQ %d!\n",irq_num);

} } };

int main() { printf("Entered: test-irq\n"); Irq_handler ps2_mouse_irq(12); Irq_handler ps2_keyboard_irq(1); Genode::sleep_forever(); }