X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;h=aecdd925d8717c6fc2025fc6c9007ab4fa05e9a6;hb=bc98195a63d8cb1d109eeaa72f57f468c6c9581e;hp=2bddb76a7ad44c0242e01e0143ec2b7e6e3726fe;hpb=106a034756e5cb2816a887702ea6f8a6a2c8beb9;p=palacios.git diff --git a/build/Makefile b/build/Makefile index 2bddb76..aecdd92 100644 --- a/build/Makefile +++ b/build/Makefile @@ -163,6 +163,14 @@ DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_APIC=0 endif endif +ifeq ($(DEBUG_PCI),1) +DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_PCI=1 +else +ifeq ($(DEBUG_PCI),0) +DEBUG_SECTIONS := $(DEBUG_SECTIONS) DEBUG_PCI=0 +endif +endif + ifeq ($(PROFILE_VMM),1) GEEKOS_FLAGS:= $(GEEKOS_FLAGS) PROFILE_VMM=1 @@ -172,6 +180,8 @@ ifeq ($(INSTRUMENT_VMM),1) GEEKOS_FLAGS:= $(GEEKOS_FLAGS) INSTRUMENT_VMM=1 endif + + # ---------------------------------------------------------------------- # Targets - # Specifies files to be built @@ -194,6 +204,9 @@ palacios-full32: palacios-full64: (cd $(PALACIOS_BUILD_DIR) && make ARCH=64 $(DEBUG_SECTIONS) world) +palacios-full-cray: + (cd $(PALACIOS_BUILD_DIR) && make V=1 ARCH=64 CRAY_XT=1 $(DEBUG_SECTIONS) world) + palacios-lean: (cd $(PALACIOS_BUILD_DIR) && make LEAN_AND_MEAN=1 world)