Hi all,

Could any briefly point out how to use MSI in Genode for device driver (e.g., e1000 card)? The existing IRQ API seems to only handle normal interrupt case. Is there any sample code I can refer to?

I’m using Fiasco.OC based kernel so MSI itself is supported by the kernel.

Thank you very much!

Best regards,

Jilong