X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;h=2bddb76a7ad44c0242e01e0143ec2b7e6e3726fe;hb=191b42c70d34a064b6600784508e3a06040ec044;hp=a217d7daee61f7b56a58c5e112609b0f0577b52e;hpb=746934f539c53c6fc687890c02ebf886c6873342;p=palacios.git

diff --git a/build/Makefile b/build/Makefile
index a217d7d..2bddb76 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -155,11 +155,22 @@ DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_DEV_MGR=0
 endif
 endif
 
+ifeq ($(DEBUG_APIC),1)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_APIC=1
+else 
+ifeq ($(DEBUG_APIC),0) 
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_APIC=0
+endif
+endif
+
 
 ifeq ($(PROFILE_VMM),1)
   GEEKOS_FLAGS:= $(GEEKOS_FLAGS) PROFILE_VMM=1
 endif
 
+ifeq ($(INSTRUMENT_VMM),1)
+  GEEKOS_FLAGS:= $(GEEKOS_FLAGS) INSTRUMENT_VMM=1
+endif
 
 # ----------------------------------------------------------------------
 # Targets -