> > > >> [ 0.296001] ..MP-BIOS bug: 8254 timer not connected to IO-APIC > > > >> [ 0.296001] Kernel panic - not syncing: IO-APIC + timer doesn't work! just for the record, check_timer() is x86 IO-APIC code, not ACPI code. So if the machine actually has MPS support, you'll probably get the same result with "acpi=off". (of course if it doesn't have MPS, then acpi=off would boot in uniprocessor legacy PIC mode) cheers, -Len -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
