Matt, How difficult would it be to make the APIC table be "read" from ACPI like FreeBSD does it? (this is just a question, not an implication that you or someone else do it at this very minute.) Cheers, Petr