Re: [Xenomai-core] Handling PCI MSI interrupts

[Jeroen Van den Keybus]

Ok, done. The patch works. Took me longer than expected, as I had to find out that 8 spaces don't make a TAB for 'patch'...

Jeroen.