check_vcpu: check_vcpu.c
	cc -s -O3 -o check_vcpu check_vcpu.c -ldl -lm
check_vmem: check_vmem.c
	cc -s -O3 -o check_vmem check_vmem.c -ldl -lm
test_vcpu: check_vcpu.c
	cc -DDEBUG -o test_vcpu check_vcpu.c -ldl -lm
