I seems to have read somewhere that there are really only three ACPI implementations: Microsofts, Intels (used in Linux and FreeBSD, among others) and OpenBSDs.

I seems to have read somewhere that there are really only three ACPI implementations: Microsofts, Intels (used in Linux and FreeBSD, among others) and OpenBSDs. So I wonder if VMW might be a fourth, or if they are also using the Intel implementation.