X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=70d547548ffcb5c614903e5a021242b93ec955e1;hb=a4fd5bcc79e7cdf9a3bd879294566bff0666ced7;hp=cd53d35879175c6d2b1b5a664b7171ed03bd6277;hpb=ec75bbb093fa99a4be794f0f564867c0091ccb85;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index cd53d35..70d5475 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -20,6 +20,7 @@ obj-y := \
 	vmm_io.o \
 	vmm_lock.o \
 	vmm_mem.o \
+        vmm_fp.o \
 	vmm_msr.o \
 	vmm_paging.o \
 	vmm_options.o \
@@ -44,6 +45,7 @@ obj-y := \
 	vmm_exits.o \
 	vmm_events.o \
 	vmm_perftune.o \
+	vmm_fw_cfg.o 
 
 
 obj-$(V3_CONFIG_XED) +=	vmm_xed.o
@@ -71,7 +73,6 @@ obj-$(V3_CONFIG_VMX) +=  	vmx.o \
 				vmcs.o \
 				vmx_ctrl_regs.o \
 				vmx_assist.o \
-				vmx_ept.o \
 				vmx_exits.o