OpenCloudOS-Kernel/tools/wmi/Makefile