chiark / gitweb /
detect-virt: beef up tool considerably