X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;fp=build%2FMakefile;h=65a0aa3e4d532919229a3c0706ee0ac716d2dbf1;hb=c2e660b41f69c603b0c47f7c7572a22a2f601a51;hp=cae3ceb07a2d45edc0a38c142ad296f22b14d0d2;hpb=cafbc1318c847b8c18e2036dc56be7af7acefa4e;p=palacios.git

diff --git a/build/Makefile b/build/Makefile
index cae3ceb..65a0aa3 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -168,6 +168,14 @@ DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_HALT=0
 endif
 endif
 
+ifeq ($(DEBUG_DEV_MGR),1)
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_DEV_MGR=1
+else 
+ifeq ($(DEBUG_DEV_MGR),0) 
+DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_DEV_MGR=0
+endif
+endif
+
 
 # ----------------------------------------------------------------------
 # Targets -
@@ -187,6 +195,10 @@ palacios-full:
 	(cd $(PALACIOS_BUILD_DIR) && make $(DEBUG_SECTIONS) world)
 
 
+palacios-lean:
+	(cd $(PALACIOS_BUILD_DIR) && make LEAN_AND_MEAN=1 world)
+
+
 geekos: 
 	cp $(PALACIOS_BUILD_DIR)/libv3vee.a $(GEEKOS_BUILD_DIR)/palacios/
 	cp $(PALACIOS_BUILD_DIR)/../lib/xed/libxed.a $(GEEKOS_BUILD_DIR)/palacios/
@@ -203,6 +215,8 @@ geekos-full:
 
 world: palacios-full geekos-full
 
+lean-and-mean: palacios-lean geekos-full
+
 
 
 # make ready to boot over PXE