X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;h=7217262ee0f99f28d60d46a27537b9a898bfe547;hb=08acae0a3bff332150a7873ff3c643625fb84090;hp=cae3ceb07a2d45edc0a38c142ad296f22b14d0d2;hpb=cafbc1318c847b8c18e2036dc56be7af7acefa4e;p=palacios-OLD.git diff --git a/build/Makefile b/build/Makefile index cae3ceb..7217262 100644 --- a/build/Makefile +++ b/build/Makefile @@ -40,6 +40,7 @@ # ---------------------------------------------------------------------- PROJECT_ROOT := .. PALACIOS_BUILD_DIR := $(PROJECT_ROOT)/palacios/build +KITTEN_TOP_DIR := $(PROJECT_ROOT)/kitten GEEKOS_BUILD_DIR := $(PROJECT_ROOT)/geekos/build GUEST_ISO_DIR := /opt/vmm-tools/isos @@ -168,6 +169,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 +196,16 @@ palacios-full: (cd $(PALACIOS_BUILD_DIR) && make $(DEBUG_SECTIONS) world) +palacios-lean: + (cd $(PALACIOS_BUILD_DIR) && make LEAN_AND_MEAN=1 world) + +kitten: palacios-full + cp $(PALACIOS_BUILD_DIR)/libv3vee.a $(KITTEN_TOP_DIR)/palacios/ + cp $(PALACIOS_BUILD_DIR)/../lib/xed/libxed32e.a $(KITTEN_TOP_DIR)/palacios/ + cp $(PALACIOS_BUILD_DIR)/vm_kernel $(KITTEN_TOP_DIR)/palacios/ + (cd $(KITTEN_TOP_DIR) && make) + + 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 +222,8 @@ geekos-full: world: palacios-full geekos-full +lean-and-mean: palacios-lean geekos-full + # make ready to boot over PXE