X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;h=fb57c3e8451c18cb2d345a21ecbc71abd4347e55;hb=4f65d7ae7fd62f2a52735c7b69fe1da65b9fed9f;hp=aecdd925d8717c6fc2025fc6c9007ab4fa05e9a6;hpb=a8f6e2e57dcdf859b87a0a14198337d2707ca75f;p=palacios.git

diff --git a/build/Makefile b/build/Makefile
index aecdd92..fb57c3e 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -51,6 +51,14 @@ DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_SHADOW_PAGING=0
 endif
 endif
 
+ifeq ($(DEBUG_NESTED_PAGING),1)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_NESTED_PAGING=1
+else 
+ifeq ($(DEBUG_NESTED_PAGING),0) 
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_NESTED_PAGING=0
+endif
+endif
+
 ifeq ($(DEBUG_CTRL_REGS),1)
 DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_CTRL_REGS=1
 else