> apic ids can be found in the madt table, from acpi, iirc.

Heh.  You assume a correct ACPI BIOS implementation.  The worst
offenders I've seen have been Intel-designed motherboards :-P


Reply via email to