X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=87ee4d862cf3b8af7ae8ab75fb3033f9323197fd;hb=f3eb8bbb7c58c98b03797f2188e6c1d2a7610c15;hp=c0b20f81ac197c376337424ec6dbd31284c697ac;hpb=82b8b87c344fcd1eab22e3f3be5ad54cbb3f8f68;p=palacios.git diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index c0b20f8..87ee4d8 100644 --- a/palacios/src/palacios/Makefile +++ b/palacios/src/palacios/Makefile @@ -51,5 +51,7 @@ obj-$(CONFIG_VMX) += vmx.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