Gajamohan Mohanarajah wrote:
> Hi Gilles,
>
>> If you have another computer, user serial console or netconsole.
> Thanks for the tip. I managed to get it via the serial console.
>
> I am attaching the following two logs
> 1. ACPI is enabled (but CONFIG_ACPI_PROCESSOR is not set) problem
> 2. ACPI disabled - Works fine
> Please note that in both cases ACHI was the BIOS setting.
Ok. I have a few suggestions.
Could you capture without truncating the lines? (option -w of minicom
itf it is indeed the culprit). And your configuration as NUMA enabled,
please disable it.
The only thing different between the two logs seems to be the IRQ routing:
working:
[ 2.335156] ahci 0000:00:1f.2: PCI->APIC IRQ transform: INT B -> IRQ
19
not working:
[ 3.614523] ahci 0000:00:1f.2: PCI INT B -> GSI 19 (level, low) ->
IRQ 19
On two core i7 I have access to, one gives PCI-MSI-dege, the other
IO-APIC-fasteoi, none is level. Could you show us the result of
grep ahci /proc/interrupts
in the working and non-working case?
Do you have MSI enabled?
--
Gilles.
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
