X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=2ad3889e994fc33490ddb8b7042a88c5a433c6c7;hb=d3d6d09894dba66f4e2361bb2f903139a2d83684;hp=18cdea187fa58ebad39e9363698c8da72f2817ad;hpb=8070d5e87ee3b92cc95bdcb65b2906b0a55d2ea9;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 18cdea1..2ad3889 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 \