IRQ handling question

[Christian Helmuth]

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
device.

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
interface.

Regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈ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: <http://lists.genode.org/pipermail/users/attachments/20130106/eb09a62d/attachment.patch>