Re: USB HID driver fails to recognize input devices

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