I would check the Tyan pages for bios upgrades. I had to upgrade my bios
(gigabyte bxd dual cpu board) before w2k accepted the acpi tables.
Linux still refuses to accept the acpi tables :-(
-- Manfred - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org Please read the FAQ at http://www.tux.org/lkml/