chiark / gitweb /
virtualization: check cpuid first, since it is cheaper than DMI