X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=be3458968d246c8332f40317ad784a689d5860f6;hb=262c92c9f620f87500f350b4744d2f31b6de7da5;hp=c081e91e845bcf1b5a31e5849fb9ac3831e51073;hpb=926e4e742c02e6f1255c8da243494c8bbddbf752;p=palacios.releases.git

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index c081e91..be34589 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -60,6 +60,8 @@ obj-$(CONFIG_TELEMETRY) += vmm_telemetry.o
 obj-$(CONFIG_SOCKET) +=  vmm_socket.o
 obj-$(CONFIG_VNET) += vmm_vnet.o
 
-obj-$(CONFIG_SYMBIOTIC) += vmm_sym_iface.o
+obj-$(CONFIG_SYMBIOTIC) += vmm_symbiotic.o vmm_symspy.o
+obj-$(CONFIG_SYMCALL) += vmm_symcall.o
+obj-$(CONFIG_SYMMOD) += vmm_symmod.o
 
-obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o 
+obj-$(CONFIG_SWAPBYPASS) += vmm_shdw_pg_swapbypass.o