X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FMakefile;h=1c666589fa73ae819c0136f6fb43f5e1bd277eed;hb=2fff50d3e72abf29655326449ed4dc5cf6e8f429;hp=4c8d6a8a5efdff8d1c729697338117c8f01eafb2;hpb=c6f4b5914c925ae8edc4b2b24b8d89d019dcf0dd;p=palacios.git diff --git a/palacios/src/extensions/Makefile b/palacios/src/extensions/Makefile index 4c8d6a8..1c66658 100644 --- a/palacios/src/extensions/Makefile +++ b/palacios/src/extensions/Makefile @@ -3,12 +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_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_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