X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FMakefile;h=1c666589fa73ae819c0136f6fb43f5e1bd277eed;hb=e26f7efb461ea8fba7eb0fd14809618c22dd475b;hp=a5e3e15a4a09a9dfd2591bcce7b481845a076169;hpb=93fe5ec08c36ed8d18492294730bfcece81219e4;p=palacios.git

diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile
index a5e3e15..1c66658 100644
--- a/palacios/src/extensions/Makefile
+++ b/palacios/src/extensions/Makefile
@@ -4,6 +4,6 @@ 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
-
+obj-$(V3_CONFIG_EXT_VMWARE) += ext_vmware.o
+obj-$(V3_CONFIG_EXT_SCHED_EDF) += ext_sched_edf.o
+obj-$(V3_CONFIG_EXT_CPU_MAPPER_EDF) += ext_cpu_mapper_edf.o