X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FMakefile;h=afffb62fe56cf13bbfb4cc1dd2f2b97202a53e8b;hb=57d73771eca20238eff66a02c85659287a7d6b89;hp=ca51193b430ebd5b6b99b5dd845dc0e8a5e6d053;hpb=840d15c3a300636e758fcfcf403ae415ffa67816;p=palacios.git

diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile
index ca51193..afffb62 100644
--- a/palacios/src/extensions/Makefile
+++ b/palacios/src/extensions/Makefile
@@ -3,9 +3,6 @@ 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_SYSCALL_HIJACK) += vmm_syscall_hijack.o 
-obj-$(V3_CONFIG_SYSCALL_HIJACK) += vmm_linux_syscall_map.o
-obj-$(V3_CONFIG_SYSCALL_HIJACK) += vmm_mpi_accel.o
-obj-$(V3_CONFIG_SYSCALL_HIJACK) += vmm_process_environment.o
-obj-$(V3_CONFIG_SYSCALL_HIJACK) += vmm_execve_hook.o