X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=cc336628cec77593da348ca277f84950a6698cad;hp=fb2623e25e238893490b66b286de1dd048b0fa61;hb=cfcceed5890430afedcc544bd7dbb69e29dfd65a;hpb=19c179d8c8a23c2612f9c12ec7cbedc299ce80e5

diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile
index fb2623e..cc33662 100644
--- a/palacios/src/palacios/Makefile
+++ b/palacios/src/palacios/Makefile
@@ -10,6 +10,7 @@ obj-y := \
 	vmm_direct_paging.o \
 	vmm_emulator.o \
 	vmm_excp.o \
+	vmm_halt.o \
 	vmm_hashtable.o \
 	vmm_host_events.o \
 	vmm_hypercall.o \
@@ -32,7 +33,6 @@ obj-y := \
 
 
 obj-$(CONFIG_SVM) +=    svm.o \
-			svm_halt.o \
 			svm_io.o \
 			svm_lowlevel.o \
 			svm_msr.o \
@@ -56,4 +56,4 @@ obj-$(CONFIG_INSTRUMENT_VMM) += vmm_instrument.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
+obj-$(CONFIG_SYMBIOTIC_SWAP) += vmm_sym_swap.o