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

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index c0b20f8..88f917a 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -53,3 +53,5 @@ obj-$(CONFIG_VMX) +=  	vmx.o \
 obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.o
 obj-$(CONFIG_PROFILE_VMM) += vmm_profiler.o 
 obj-$(CONFIG_SOCKET) +=  vmm_socket.o
+
+obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o
\ No newline at end of file