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_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_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
+obj-$(V3_CONFIG_TM_FUNC) += ext_trans_mem.o \
+ tm_util.o