X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=929520f26166328e62b13fc0f3e04b3f473dbe28;hb=a3a2224fa5e7d5c9d0ef2fe29bae0ccfb373ba26;hp=8712934d323ede29b7f4cb94fdc66d814949d35e;hpb=d3422ccc1d15e9aa29cfd78bfe335ce82f8969c8;p=palacios-OLD.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 8712934..929520f 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -62,9 +62,11 @@ endif
 
 
 ifeq ($(DEBUG_ALL),1)
-  DEBUG_SECTIONS:= $(DEBUG_SECTIONS) -DDEBUG_SHADOW_PAGING -DDEBUG_CTRL_REGS -DDEBUG_INTERRUPTS -DDEBUG_IO -DDEBUG_KEYBOARD -DDEBUG_PIC -DDEBUG_PIT -DDEBUG_NVRAM -DDEBUG_EMULATOR -DDEBUG_GENERIC -DDEBUG_RAMDISK -DDEBUG_XED -DDEBUG_HALT -DDEBUG_DEV_MGR
+  DEBUG_SECTIONS:= $(DEBUG_SECTIONS) -DDEBUG_SHADOW_PAGING -DDEBUG_CTRL_REGS -DDEBUG_INTERRUPTS -DDEBUG_KEYBOARD -DDEBUG_PIC -DDEBUG_PIT -DDEBUG_NVRAM -DDEBUG_EMULATOR  -DDEBUG_XED -DDEBUG_HALT -DDEBUG_DEV_MGR
+# -DDEBUG_IO -DDEBUG_GENERIC -DDEBUG_RAMDISK
 endif
 
+
 ifeq ($(DEBUG_SHADOW_PAGING),1)
 DEBUG_SECTIONS := $(DEBUG_SECTIONS) -DDEBUG_SHADOW_PAGING
 else 
@@ -260,6 +262,9 @@ VMM_OBJS := \
 	palacios/vmm_queue.o \
 	palacios/vmm_host_events.o \
 	palacios/svm_lowlevel.o \
+	palacios/vmm_msr.o \
+	palacios/svm_msr.o \
+	palacios/vmm_socket.o \
 
 #		vmx.c vmcs_gen.c vmcs.c