USB HID driver fails to recognize input devices

[Alexander Boettcher]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

> @Alexander Boettcher: Is there anything to consider regarding I/O
> memory when using Nova with enabled IOMMU?

A quick lock into the specification of the NOVA kernel shows, that
assign_gsi returns the msi vector to be programmed (if the device is
used in msi mode, is it?).

In base-nova/src/core/irq_session_component.cc however
- - first the return value of the syscall operation is ignored
- - second the msi values returned by the kernel are ignored.

The assign_pci system call is completly not used in Genode currently,
however required to work with IOMMU support enabled ...

@Sebastian: we have to revisit this part asap., maybe next week together.

Best,

Alex
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAlAAIX4ACgkQqjRK9KYzJbPXAgCeLvZHtUveufG3L+JHIBIfvg+5
TUcAn0jktemZ+Vmte7VlB6MQvmGg3vdS
=/3ik
-----END PGP SIGNATURE-----