X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FMakefile;h=9ba073ca639246b8da3e3b70dba74daaf90c8a31;hb=9d346ee2cf8a7f2a79dc4929b8e0416de7d8f8c8;hp=24d68c3fdb9ceb4c5ca99743d4173f4afc19af18;hpb=8bf8dfd501c677d4754f79fd01dd2cb5f37b898a;p=palacios.git

diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile
index 24d68c3..9ba073c 100644
--- a/palacios/src/extensions/Makefile
+++ b/palacios/src/extensions/Makefile
@@ -5,3 +5,8 @@ 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_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
+
+obj-$(V3_CONFIG_TM_FUNC) += ext_trans_mem.o \
+				            tm_util.o