X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FMakefile;h=a5e3e15a4a09a9dfd2591bcce7b481845a076169;hb=d0629f43f3f4714eea680f6715e114a6e514739b;hp=ab31a136d2b1dca9c078787fc1cb839d8e20df02;hpb=94f67717b6461df514dc225ed84f03b44c44061b;p=palacios-OLD.git

diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile
index ab31a13..a5e3e15 100644
--- a/palacios/src/extensions/Makefile
+++ b/palacios/src/extensions/Makefile
@@ -3,3 +3,7 @@ obj-$(V3_CONFIG_EXT_MTRRS) += ext_mtrr.o
 obj-$(V3_CONFIG_EXT_VTSC) += ext_vtsc.o
 obj-$(V3_CONFIG_EXT_VTIME) += ext_vtime.o
 obj-$(V3_CONFIG_EXT_INSPECTOR) += ext_inspector.o
+obj-$(V3_CONFIG_EXT_MACH_CHECK) += ext_mcheck.o
+obj-$(V3_CONFIG_EXT_SW_INTERRUPTS) += ext_sw_intr.o
+obj-$(V3_CONFIG_EXT_SYSCALL_HIJACK) += ext_syscall_hijack.o
+