IRQ handling question

Christian Helmuth christian.helmuth at ...1...
Sun Jan 6 15:15:46 CET 2013

Hello Jilong Kuang,

am I right that you're using Genode on x86 as your PS2 interrupts are
1 and 12? Looking at your code it looks like you're not configuring
the PS2 hardware at all, in fact you leave it as initialized by the
BIOS. Therefore, the mouse port is disabled and the mouse is not
initialized and as expected you see no interrupts from it.

For the keyboard, I could reproduce your reported behavior very easily
with the attached patch. You have to click into the Qemu window very
fast before Genode is booted, but then you will be able to see the
interrupts logged / _max_handle decremented if the mouse is moved. As
soon as the code stops to handle hardware events (_max_handle == 0)
the interrupts occur again right after unmasking on wait_for_irq().
This is expected as we did not handle the event and programmed the PS2

For your simple interrupt tests it may be easier to write a simple
UART driver as PS2 is more complex than UARTs. Genode on Fiasco.OC
uses the first UART via the kernel. So, I need to have a second serial

Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ps2_max_handle.patch
Type: text/x-diff
Size: 1018 bytes
Desc: not available
URL: <>

More information about the users mailing list