git.barrelfish.org Git - barrelfish/blob - hake/Config.hs.arm-gcc-4.9-2014q4

   1 --------------------------------------------------------------------------
   2 -- Copyright (c) 2007-2010, 2012, 2013, 2015 ETH Zurich.
   3 -- Copyright (c) 2014, HP Labs.
   4 -- All rights reserved.
   5 --
   6 -- This file is distributed under the terms in the attached LICENSE file.
   7 -- If you do not find this file, copies can be found by writing to:
   8 -- ETH Zurich D-INFK, CAB F.78, Universitaetstr. 6, CH-8092 Zurich,
   9 -- Attn: Systems Group.
  10 --
  11 -- Configuration options for Hake
  12 --
  13 --------------------------------------------------------------------------
  14
  15 module Config where
  16
  17 import HakeTypes
  18 import Data.Char
  19 import qualified Args
  20 import Data.List
  21
  22 --
  23 -- Toolchain definitions.  By default, these rely on $PATH
  24 --
  25
  26 -- ARM toolchain
  27 arm_gnu_path = "/home/netos/tools/gcc-arm-embedded/" ++
  28                "gcc-arm-none-eabi-4_9-2014q4" ++
  29                "/bin/"
  30 arm_gnu_prefix = "arm-none-eabi-"
  31 arm_gnu_tool = findTool arm_gnu_path arm_gnu_prefix
  32
  33 arm_cc       = arm_gnu_tool "gcc"
  34 arm_objcopy  = arm_gnu_tool "objcopy"
  35 arm_objdump  = arm_gnu_tool "objdump"
  36 arm_ar       = arm_gnu_tool "ar"
  37 arm_ranlib   = arm_gnu_tool "ranlib"
  38 arm_cxx      = arm_gnu_tool "g++"
  39
  40 x86_cc       = "gcc"
  41 x86_cxx      = "g++"
  42
  43 k1om_cc      = "k1om-mpss-linux-gcc"
  44 k1om_objcopy = "k1om-mpss-linux-objcopy"
  45 k1om_objdump = "k1om-mpss-linux-objdump"
  46 k1om_ar      = "k1om-mpss-linux-ar"
  47 k1om_ranlib  = "k1om-mpss-linux-anlib"
  48 k1om_cxx     = "k1om-mpss-linux-g++"
  49
  50 gem5         = "gem5.fast"
  51 runghc       = "runghc"    -- run GHC interactively
  52 circo        = "circo"     -- from graphviz
  53 dot          = "dot"       --   "    "
  54 inkscape     = "inkscape"
  55
  56
  57 -- path to source and install directories; these are automatically set by hake.sh at setup time
  58 source_dir :: String
  59 -- source_dir = undefined -- (set by hake.sh, see end of file)
  60
  61 install_dir :: String
  62 -- install_dir = undefined -- (set by hake.sh, see end of file)
  63
  64 -- Set of architectures for which to generate rules
  65 architectures :: [String]
  66 -- architectures = undefined -- (set by hake.sh, see end of file)
  67
  68 -- Optimisation flags (-Ox -g etc.) passed to compiler
  69 cOptFlags :: [String]
  70 cOptFlags = ["-g", "-O2"]
  71
  72 -- Selects which libc to compile with, "oldc" or "newlib"
  73 libc :: String
  74 --libc = "oldc"
  75 libc = "newlib"
  76
  77 newlib_malloc :: String
  78 --newlib_malloc = "sbrk"     -- use sbrk and newlib's malloc()
  79 --newlib_malloc = "dlmalloc" -- use dlmalloc
  80 newlib_malloc = "oldmalloc"
  81
  82 -- Configure pagesize for libbarrelfish's morecore implementation
  83 -- x86_64 accepts "small", "large", and "huge" for 4kB, 2MB and 1GB pages
  84 -- respectively. x86_32 accepts "small" and "large" for 4kB and 2MB/4MB pages
  85 -- respectively. All other architectures default to their default page size.
  86 morecore_pagesize :: String
  87 morecore_pagesize = "small"
  88
  89 -- Use a frame pointer
  90 use_fp :: Bool
  91 use_fp = True
  92
  93 -- Default timeslice duration in milliseconds
  94 timeslice :: Integer
  95 timeslice = 80
  96
  97 -- Put kernel into microbenchmarks mode
  98 microbenchmarks :: Bool
  99 microbenchmarks = False
 100
 101 -- Enable tracing
 102 trace :: Bool
 103 trace = False
 104
 105 -- Enable QEMU networking. (ie. make network work in small memory)
 106 support_qemu_networking :: Bool
 107 support_qemu_networking  = False
 108
 109 -- armv7 platform to build for
 110 -- Currently available: gem5, pandaboard
 111 armv7_platform :: String
 112 --armv7_platform = "gem5"
 113 armv7_platform = "pandaboard"
 114
 115 -- on pandaboard, build a heterogenous image and let the cortex-A9 set up and start the
 116 -- cortex-M3 processor (build targets "heteropanda_slave" and "heteropanda_master_image")
 117 heteropanda :: Bool
 118 heteropanda = False
 119
 120 -- enable network tracing
 121 trace_network_subsystem :: Bool
 122 trace_network_subsystem = False
 123
 124 -- May want to disable LRPC to improve trace visuals
 125 trace_disable_lrpc :: Bool
 126 trace_disable_lrpc = False
 127
 128 -- use Kaluga
 129 use_kaluga_dvm :: Bool
 130 use_kaluga_dvm = True
 131
 132 -- Domain and driver debugging
 133 global_debug :: Bool
 134 global_debug = False
 135
 136 e1000n_debug :: Bool
 137 e1000n_debug = False
 138
 139 eMAC_debug :: Bool
 140 eMAC_debug = False
 141
 142 rtl8029_debug :: Bool
 143 rtl8029_debug = False
 144
 145 ahcid_debug :: Bool
 146 ahcid_debug = False
 147
 148 libahci_debug :: Bool
 149 libahci_debug = False
 150
 151 vfs_debug :: Bool
 152 vfs_debug = False
 153
 154 ethersrv_debug :: Bool
 155 ethersrv_debug = False
 156
 157 netd_debug :: Bool
 158 netd_debug = False
 159
 160 libacpi_debug :: Bool
 161 libacpi_debug = False
 162
 163 acpi_interface_debug :: Bool
 164 acpi_interface_debug = False
 165
 166 lpc_timer_debug :: Bool
 167 lpc_timer_debug = False
 168
 169 lwip_debug :: Bool
 170 lwip_debug = False
 171
 172 libpci_debug :: Bool
 173 libpci_debug = False
 174
 175 usrpci_debug :: Bool
 176 usrpci_debug = False
 177
 178 timer_debug :: Bool
 179 timer_debug = False
 180
 181 eclipse_kernel_debug :: Bool
 182 eclipse_kernel_debug = False
 183
 184 skb_debug :: Bool
 185 skb_debug = False
 186
 187 skb_client_debug :: Bool
 188 skb_client_debug = False
 189
 190 flounder_debug :: Bool
 191 flounder_debug = False
 192
 193 flounder_failed_debug :: Bool
 194 flounder_failed_debug = False
 195
 196 webserver_debug :: Bool
 197 webserver_debug = False
 198
 199 sqlclient_debug :: Bool
 200 sqlclient_debug = False
 201
 202 sqlite_debug :: Bool
 203 sqlite_debug = False
 204
 205 sqlite_backend_debug :: Bool
 206 sqlite_backend_debug = False
 207
 208 nfs_debug :: Bool
 209 nfs_debug = False
 210
 211 rpc_debug :: Bool
 212 rpc_debug = False
 213
 214 loopback_debug :: Bool
 215 loopback_debug = False
 216
 217 octopus_debug :: Bool
 218 octopus_debug = False
 219
 220 term_debug :: Bool
 221 term_debug = False
 222
 223 serial_debug :: Bool
 224 serial_debug = False
 225
 226 -- Deadlock debugging
 227 debug_deadlocks :: Bool
 228 debug_deadlocks = False
 229
 230 -- Partitioned memory server
 231 memserv_percore :: Bool
 232 memserv_percore = False
 233
 234 -- Lazy THC implementation (requires use_fp = True)
 235 lazy_thc :: Bool
 236 lazy_thc | elem "armv7" architectures   = False
 237          | elem "armv5" architectures   = False
 238          | elem "xscale" architectures  = False
 239          | otherwise                    = True
 240
 241 -- Enable capability tracing debug facility
 242 caps_trace :: Bool
 243 caps_trace = False
 244
 245 -- Mapping Database configuration options (this affects lib/mdb/)
 246 -- enable extensive tracing of mapping db implementation
 247 mdb_trace :: Bool
 248 mdb_trace = False
 249
 250 -- enable tracing of top level mdb_insert, mdb_remove calls
 251 mdb_trace_no_recursive :: Bool
 252 mdb_trace_no_recursive = False
 253
 254 -- fail on invariant violations
 255 mdb_fail_invariants :: Bool
 256 mdb_fail_invariants = True
 257
 258 -- check invariants before/after mdb_insert/mdb_remove.
 259 mdb_check_invariants :: Bool
 260 mdb_check_invariants = False
 261
 262 -- recheck invariants at each tracing point
 263 mdb_recheck_invariants :: Bool
 264 mdb_recheck_invariants = False
 265
 266 -- enable extensive tracing of mapping db implementation (userspace version)
 267 mdb_trace_user :: Bool
 268 mdb_trace_user = False
 269
 270 -- fail on invariant violations
 271 mdb_fail_invariants_user :: Bool
 272 mdb_fail_invariants_user = True
 273
 274 -- recheck invariants at each tracing point
 275 mdb_recheck_invariants_user :: Bool
 276 mdb_recheck_invariants_user = True
 277
 278 -- check invariants before/after mdb_insert/mdb_remove.
 279 mdb_check_invariants_user :: Bool
 280 mdb_check_invariants_user = True
 281
 282 -- Select scheduler
 283 data Scheduler = RBED | RR deriving (Show,Eq)
 284 scheduler :: Scheduler
 285 scheduler = RBED
 286
 287 -- Physical Address Extensions (PAE)-enabled paging on x86-32
 288 pae_paging :: Bool
 289 pae_paging = False
 290
 291 -- Page Size Extensions (PSE)-enabled paging on x86-32
 292 -- Always enabled when pae_paging == True, regardless of value
 293 pse_paging :: Bool
 294 pse_paging = False
 295
 296 -- No Execute Extensions (NXE)-enabled paging on x86-32
 297 -- May not be True when pae_paging == False
 298 nxe_paging :: Bool
 299 nxe_paging = False
 300
 301 oneshot_timer :: Bool
 302 oneshot_timer = False
 303
 304 defines :: [RuleToken]
 305 defines = [ Str ("-D" ++ d) | d <- [
 306              if microbenchmarks then "CONFIG_MICROBENCHMARKS" else "",
 307              if trace then "CONFIG_TRACE" else "",
 308              if support_qemu_networking then "CONFIG_QEMU_NETWORK" else "",
 309              if trace_network_subsystem then "NETWORK_STACK_TRACE" else "",
 310              if trace_disable_lrpc then "TRACE_DISABLE_LRPC" else "",
 311              if global_debug then "GLOBAL_DEBUG" else "",
 312              if e1000n_debug then "E1000N_SERVICE_DEBUG" else "",
 313              if ahcid_debug then "AHCI_SERVICE_DEBUG" else "",
 314              if libahci_debug then "AHCI_LIB_DEBUG" else "",
 315              if vfs_debug then "VFS_DEBUG" else "",
 316              if eMAC_debug then "EMAC_SERVICE_DEBUG" else "",
 317              if rtl8029_debug then "RTL8029_SERVICE_DEBUG" else "",
 318              if ethersrv_debug then "ETHERSRV_SERVICE_DEBUG" else "",
 319              if netd_debug then "NETD_SERVICE_DEBUG" else "",
 320              if libacpi_debug then "ACPI_DEBUG_OUTPUT" else "",
 321              if acpi_interface_debug then "ACPI_BF_DEBUG" else "",
 322              if lpc_timer_debug then "LPC_TIMER_DEBUG" else "",
 323              if lwip_debug then "LWIP_BARRELFISH_DEBUG" else "",
 324              if libpci_debug then "PCI_CLIENT_DEBUG" else "",
 325              if usrpci_debug then "PCI_SERVICE_DEBUG" else "",
 326              if timer_debug then "TIMER_CLIENT_DEBUG" else "",
 327              if eclipse_kernel_debug then "ECLIPSE_KERNEL_DEBUG" else "",
 328              if skb_debug then "SKB_SERVICE_DEBUG" else "",
 329              if skb_client_debug then "SKB_CLIENT_DEBUG" else "",
 330              if flounder_debug then "FLOUNDER_DEBUG" else "",
 331              if flounder_failed_debug then "FLOUNDER_FAILED_DEBUG" else "",
 332              if webserver_debug then "WEBSERVER_DEBUG" else "",
 333              if sqlclient_debug then "SQL_CLIENT_DEBUG" else "",
 334              if sqlite_debug then "SQL_SERVICE_DEBUG" else "",
 335              if sqlite_backend_debug then "SQL_BACKEND_DEBUG" else "",
 336              if nfs_debug then "NFS_CLIENT_DEBUG" else "",
 337              if rpc_debug then "RPC_DEBUG" else "",
 338              if loopback_debug then "LOOPBACK_DEBUG" else "",
 339              if octopus_debug then "DIST_SERVICE_DEBUG" else "",
 340              if term_debug then "TERMINAL_LIBRARY_DEBUG" else "",
 341              if serial_debug then "SERIAL_DRIVER_DEBUG" else "",
 342              if debug_deadlocks then "CONFIG_DEBUG_DEADLOCKS" else "",
 343              if memserv_percore then "CONFIG_MEMSERV_PERCORE" else "",
 344              if lazy_thc then "CONFIG_LAZY_THC" else "",
 345              if pae_paging then "CONFIG_PAE" else "",
 346              if pse_paging then "CONFIG_PSE" else "",
 347              if nxe_paging then "CONFIG_NXE" else "",
 348              if libc == "oldc" then "CONFIG_OLDC" else "CONFIG_NEWLIB",
 349              if oneshot_timer then "CONFIG_ONESHOT_TIMER" else "",
 350              if use_kaluga_dvm then "USE_KALUGA_DVM" else "",
 351              if heteropanda then "HETEROPANDA" else "",
 352              if caps_trace then "TRACE_PMEM_CAPS" else ""
 353              ], d /= "" ]
 354
 355 -- Sets the include path for the libc
 356 libcInc :: String
 357 libcInc = if libc == "oldc" then "/include/oldc"
 358           else "/lib/newlib/newlib/libc/include"
 359
 360 -- Sets the include path for lwIP
 361 lwipInc :: String
 362 lwipInc = "/lib/lwip/src/include"
 363 lwipxxxInc :: String
 364 lwipxxxInc = "/lib/lwip/src/include/ipv4"
 365
 366 -- some defines depend on the architecture/compile options
 367 arch_defines :: Options -> [RuleToken]
 368 arch_defines opts
 369     -- enable config flags for interconnect drivers in use for this arch
 370     = [ Str ("-D" ++ d)
 371        | d <- ["CONFIG_INTERCONNECT_DRIVER_" ++ (map toUpper n)
 372                | n <- optInterconnectDrivers opts]
 373       ]
 374     -- enable config flags for flounder backends in use for this arch
 375     ++ [ Str ("-D" ++ d)
 376        | d <- ["CONFIG_FLOUNDER_BACKEND_" ++ (map toUpper n)
 377                | n <- optFlounderBackends opts]
 378       ]
 379
 380 -- newlib common compile flags (maybe put these in a config.h file?)
 381 newlibAddCFlags :: [String]
 382 newlibAddCFlags = [ "-DPACKAGE_NAME=\"newlib\"" ,
 383                     "-DPACKAGE_TARNAME=\"newlib\"",
 384                     "-DPACKAGE_VERSION=\"1.19.0\"",
 385                     "-DPACKAGE_BUGREPORT=\"\"",
 386                     "-DPACKAGE_URL=\"\"",
 387                     "-D_I386MACH_ALLOW_HW_INTERRUPTS",
 388                     "-DMISSING_SYSCALL_NAMES",
 389                     "-D_WANT_IO_C99_FORMATS",
 390                     "-D_COMPILING_NEWLIB",
 391                     "-D_WANT_IO_LONG_LONG",
 392                     "-D_WANT_IO_LONG_DOUBLE",
 393                     "-D_MB_CAPABLE",
 394                     "-D__BSD_VISIBLE"]