1 files changed, 17 insertions, 0 deletions
diff --git a/tools/domain_builder/Makefile b/tools/domain_builder/Makefile
new file mode 100644
index 0000000000..6707481f1b
--- /dev/null
+++ b/tools/domain_builder/Makefile
@@ -0,0 +1,17 @@
+CC = gcc
+BUILDER = domain_builder
+KILL = kill_domain
+
+all: dom_builder.o dom_kill.o
+	$(CC) -o $(BUILDER) dom_builder.o
+	$(CC) -o $(KILL) dom_kill.o
+
+dom_builder.o: dom_builder.c dom0_defs.h dom0_ops.h hypervisor_defs.h mem_defs.h
+	$(CC) -c dom_builder.c 
+
+dom_kill.o: dom_kill.c dom0_ops.h dom0_defs.h
+	$(CC) -c dom_kill.c 
+
+clean:
+	$(RM) *.o domain_builder kill_domain
+