Index: xen-3.1.0-src/tools/misc/Makefile
===================================================================
--- xen-3.1.0-src.orig/tools/misc/Makefile
+++ xen-3.1.0-src/tools/misc/Makefile
@@ -45,3 +45,6 @@ clean:
 
 xenperf: %: %.o Makefile
 	$(CC) $(CFLAGS) -o $@ $< -L$(XEN_LIBXC) -lxenctrl
+
+xen-detect: %: %.c Makefile
+	$(CC) $(CFLAGS) $(call cc-option,$(CC),-nopie,) -o $@ $<