linux/tools/wmi/