X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=9d4c88f52438f477e2c4378da79f03dea90bde34;hb=1a24d4e8fb3918a42b124777db5b41940150023e;hp=7e7c8a29fbe00905dd76599576af807dcfe3ed96;hpb=f1d8183ae8c4390dfc74cb2780dd2058c569fc57;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 7e7c8a2..9d4c88f 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -312,6 +312,8 @@ VMM_OBJS := \
 	palacios/vmx_handler.o \
 	palacios/vmx_lowlevel.o \
 	palacios/vmxassist.o \
+	palacios/vmx_io.o \
+	palacios/vmx_msr.o \
 	$(OBJ_FILES)
 
 
@@ -352,6 +354,7 @@ DEVICES_OBJS := \
 	devices/net_hd.o \
 	devices/lnx_virtio_blk.o \
 	devices/lnx_virtio_balloon.o \
+	devices/lnx_virtio_sym.o \
 	devices/sym_swap.o \
 
 #	devices/ne2k.o	\