X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=fb2623e25e238893490b66b286de1dd048b0fa61;hb=449bf14185a1b3e2db53855b14e0e3ef3a803fd9;hp=88f917a1b23a9b28c0401392a319c6c472b14349;hpb=2304917404cd287c4741d9f85ff8a280e248c7d0;p=palacios.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index 88f917a..fb2623e 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -46,12 +46,14 @@ 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
 
 
 
 obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
-obj-$(CONFIG_PROFILE_VMM) += vmm_profiler.o 
+obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o 
 obj-$(CONFIG_SOCKET) +=  vmm_socket.o
 
 obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o
\ No newline at end of file