added seastar memory mapping

[palacios.git] / build / Makefile

diff --git a/build/Makefile b/build/Makefile
index 2bddb76..e173545 100644 (file)
--- a/build/Makefile
+++ b/build/Makefile
@@ -172,6 +172,8 @@ ifeq ($(INSTRUMENT_VMM),1)
   GEEKOS_FLAGS:= $(GEEKOS_FLAGS) INSTRUMENT_VMM=1
 endif
 
+
+
 # ----------------------------------------------------------------------
 # Targets -
 #   Specifies files to be built
@@ -194,6 +196,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)