X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=fb2623e25e238893490b66b286de1dd048b0fa61;hp=87ee4d862cf3b8af7ae8ab75fb3033f9323197fd;hb=61597ea2c5ccace036d8a65e429e32b8f8a7ed4a;hpb=f3eb8bbb7c58c98b03797f2188e6c1d2a7610c15

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 87ee4d8..fb2623e 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -46,7 +46,9 @@ obj-$(CONFIG_VMX) +=  	vmx.o \
 			vmx_io.o \
 			vmx_lowlevel.o \
 			vmx_msr.o \
-			vmcs.o
+			vmcs.o \
+			vmx_ctrl_regs.o \
+			vmx_assist.o