[seL4] Re: About MSI-X interrupts on x86

Hi Jade, Thanks for the quick response. I’ve seen some code related to MSI in the kernel, but I’m not sure if it’s fully implemented in the CAmkES VMM. I verified that with the Ethernet device on Linux baremetal, using legacy IRQs I can still achieve throughput close to 1 Gbit/s, so performance isn’t a problem. I haven’t found any documentation on this, so I’m currently using the legacy IRQ configuration in CAmkES: vm2.vm_irqs = [ {"name":"outer_eth", "ioapic":0, "source":0xb, "level_trig":0, "active_low":1, "dest":12} ]; This seems to be correctly injected into the VM, but I cannot ping, and I get a NETDEV WATCHDOG message. Any hints or guidance you could share would be greatly appreciated. Thanks! Albert