> > Yes, I have problem with sharing the IRQ 11. > my questions are: > How can I set the rteth0 to a known not sharing IRQ in the system?
- You already said you don't have BIOS options. - If you have multiple PCI slots, try swapping the cards. Usually, adjacent slots have different interrupt lines. But you might end up sharing with something else. - Avoid the use of the sharing device (possible with audio, some USB, ...) - Check if ACPI configures the interrupt lines for you (bypassing the BIOS). I don't know for sure, but I think you can use the acpi_irq_pci kernel parameter to somehow influence the mapping of the physical interrupt lines to logical IRQ lines (numbers). - You could also try to share the same IRQ for both cards (again by replacing them in the PCI slots). But, in all fairness, I think your problem lies elsewhere, because both IRQ10 and 11 are affected and disabling only occurs after a lot (1000 or so) of unhandled requests have happened. > How can I pass a known IRQ from RTnet to the Xenomai xnintr_shirq_handler? The PCI interrupts are fixed after BIOS (or ACPI) has done its job. If you change the number of the IRQ line by moving it or using the BIOS/ACPI, it should also change correctly. What does the dmesg log say ? Perhaps you can turn on debugging for the rtnet driver and get more info. Last but not least: do the cards work correctly in parallel using the standard Linux driver (8139too) ? Jeroen.
_______________________________________________ Xenomai-help mailing list Xenomai-help@gna.org https://mail.gna.org/listinfo/xenomai-help
