Merge large page support code.
[barrelfish] / hake / Config.hs.template
index e2a417b..e8dc4dc 100644 (file)
@@ -1,5 +1,5 @@
 --------------------------------------------------------------------------
--- Copyright (c) 2007-2010, 2012, ETH Zurich.
+-- Copyright (c) 2007-2010, 2012, 2013, ETH Zurich.
 -- Copyright (c) 2014, HP Labs.
 -- All rights reserved.
 --
@@ -198,13 +198,51 @@ memserv_percore = False
 
 -- Lazy THC implementation (requires use_fp = True)
 lazy_thc :: Bool
-lazy_thc | elem "armv7" architectures  = False
-         | otherwise                   = True
+lazy_thc | elem "armv7" architectures   = False
+        | elem "armv5" architectures   = False
+        | elem "xscale" architectures  = False
+         | otherwise                    = True
 
--- Select remote cap database implementation
-data Rcap_db = RCAP_DB_NULL | RCAP_DB_CENTRAL | RCAP_DB_TWOPC deriving (Show,Eq)
-rcap_db :: Rcap_db
-rcap_db = RCAP_DB_NULL
+-- Enable capability tracing debug facility
+caps_trace :: Bool
+caps_trace = False
+
+-- Mapping Database configuration options (this affects lib/mdb/)
+-- enable extensive tracing of mapping db implementation
+mdb_trace :: Bool
+mdb_trace = False
+
+-- enable tracing of top level mdb_insert, mdb_remove calls
+mdb_trace_no_recursive :: Bool
+mdb_trace_no_recursive = False
+
+-- fail on invariant violations
+mdb_fail_invariants :: Bool
+mdb_fail_invariants = True
+
+-- check invariants before/after mdb_insert/mdb_remove.
+mdb_check_invariants :: Bool
+mdb_check_invariants = False
+
+-- recheck invariants at each tracing point
+mdb_recheck_invariants :: Bool
+mdb_recheck_invariants = False
+
+-- enable extensive tracing of mapping db implementation (userspace version)
+mdb_trace_user :: Bool
+mdb_trace_user = False
+
+-- fail on invariant violations
+mdb_fail_invariants_user :: Bool
+mdb_fail_invariants_user = True
+
+-- recheck invariants at each tracing point
+mdb_recheck_invariants_user :: Bool
+mdb_recheck_invariants_user = True
+
+-- check invariants before/after mdb_insert/mdb_remove.
+mdb_check_invariants_user :: Bool
+mdb_check_invariants_user = True
 
 -- Select scheduler
 data Scheduler = RBED | RR deriving (Show,Eq)
@@ -275,7 +313,8 @@ defines = [ Str ("-D" ++ d) | d <- [
              if libc == "oldc" then "CONFIG_OLDC" else "CONFIG_NEWLIB",
              if oneshot_timer then "CONFIG_ONESHOT_TIMER" else "",
              if use_kaluga_dvm then "USE_KALUGA_DVM" else "",
-             if heteropanda then "HETEROPANDA" else ""
+             if heteropanda then "HETEROPANDA" else "",
+             if caps_trace then "TRACE_PMEM_CAPS" else ""
              ], d /= "" ]
 
 -- Sets the include path for the libc
@@ -283,6 +322,12 @@ libcInc :: String
 libcInc = if libc == "oldc" then "/include/oldc"
           else "/lib/newlib/newlib/libc/include"
 
+-- Sets the include path for lwIP
+lwipInc :: String
+lwipInc = "/lib/lwip/src/include"
+lwipxxxInc :: String
+lwipxxxInc = "/lib/lwip/src/include/ipv4"
+
 -- some defines depend on the architecture/compile options
 arch_defines :: Options -> [RuleToken]
 arch_defines opts