USB HID driver fails to recognize input devices

[Sebastian Sumpf]

On 07/13/2012 03:24 PM, Alexander Boettcher wrote:
> > @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?).
>
Big NO here!

> 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.
>
Okay, lets do that.

@Markus: You can come along as well, since our offices are not that far
apart .-)

Sebastian