git.barrelfish.org Git - barrelfish/blob - platforms/Hakefile

   1 --------------------------------------------------------------------------
   2 -- Copyright (c) 2015, ETH Zurich.
   3 -- All rights reserved.
   4 --
   5 -- This file is distributed under the terms in the attached LICENSE file.
   6 -- If you do not find this file, copies can be found by writing to:
   7 -- ETH Zurich D-INFK, Universitätstr. 6, CH-8092 Zurich. Attn: Systems Group.
   8 --
   9 -- Hakefile for /platforms/x86
  10 --
  11 --------------------------------------------------------------------------
  12
  13 let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
  14                         "rcce_lu_A1",
  15                         "rcce_lu_A2",
  16                         "rcce_lu_A4",
  17                         "rcce_lu_A8",
  18                         "rcce_lu_A16",
  19                         "rcce_lu_A32",
  20                         "rcce_lu_A64" ]]
  21
  22     bin_rcce_bt = [ "/sbin/" ++ f | f <- [
  23                         "rcce_bt_A1",
  24                         "rcce_bt_A4",
  25                         "rcce_bt_A9",
  26                         "rcce_bt_A16",
  27                         "rcce_bt_A25",
  28                         "rcce_bt_A36" ]]
  29
  30     tests_common = [ "/sbin/" ++ f | f <- [
  31                         "fputest",
  32                         "fread_test",
  33                         "fscanf_test",
  34                         "hellotest",
  35                         "idctest",
  36                         "memtest",
  37                         "schedtest",
  38                         "testerror",
  39                         "yield_test" ] ]
  40
  41     tests_x86 = [ "/sbin/" ++ f | f <- [
  42                         "tests/luatest",
  43                         "tests/numatest" ] ]
  44
  45     tests_x86_64 = [ "/sbin/" ++ f | f <- [
  46                         "arrakis_hellotest",
  47                         "ata_rw28_test",
  48                         "bomp_cpu_bound",
  49                         "bomp_cpu_bound_progress",
  50                         "bomp_sync",
  51                         "bomp_sync_progress",
  52                         "bomp_test",
  53                         "bulk_shm",
  54                         "cryptotest",
  55                         "mdbtest_addr_zero",
  56                         "mdbtest_range_query",
  57                         "mem_affinity",
  58                         "multihoptest",
  59                         "net-test",
  60                         "net_openport_test",
  61                         "perfmontest",
  62                         "phoenix_kmeans",
  63                         "socketpipetest",
  64                         "spantest",
  65                         "spin",
  66                         "testconcurrent",
  67                         "testdesc",
  68                         "testdesc-child",
  69                         "tests/cxxtest",
  70                         "tests/dma_test",
  71                         "tests/xphi_nameservice_test",
  72                         "thcidctest",
  73                         "thcminitest",
  74                         "thctest",
  75                         "timer_test",
  76                         "tlstest",
  77                         "tweedtest",
  78                         "xcorecap",
  79                         "xcorecapserv" ] ] ++ tests_x86
  80
  81     tests_x86_32 = tests_x86
  82
  83     tests_k1om = [ "/sbin/" ++ f | f <- [
  84                         "tests/dma_test",
  85                         "tests/xeon_phi_inter",
  86                         "tests/xeon_phi_test",
  87                         "tests/xphi_nameservice_test" ] ] ++ tests_x86
  88
  89     bench_common = [ "/sbin/" ++ f | f <- [
  90                         "channel_cost_bench",
  91                         "flounder_stubs_buffer_bench",
  92                         "flounder_stubs_empty_bench",
  93                         "flounder_stubs_payload_bench",
  94                         "xcorecapbench" ]]
  95
  96     bench_x86 =  [ "/sbin/" ++ f | f <- [
  97                       "multihop_latency_bench",
  98                       "net_openport_test",
  99                       "perfmontest",
 100                       "thc_v_flounder_empty",
 101                       "timer_test",
 102                       "udp_throughput",
 103                       "ump_exchange",
 104                       "ump_latency",
 105                       "ump_latency_cache",
 106                       "ump_receive",
 107                       "ump_send",
 108                       "ump_throughput" ]]
 109
 110     bench_x86_64 = bench_x86 ++ bin_rcce_bt ++ bin_rcce_lu ++
 111                    [ "/sbin/" ++ f | f <- [
 112                         "ahci_bench",
 113                         "apicdrift_bench",
 114                         "benchmarks/bomp_mm",
 115                         "benchmarks/dma_bench",
 116                         "benchmarks/xomp_share",
 117                         "benchmarks/xomp_spawn",
 118                         "benchmarks/xomp_work",
 119                         "benchmarks/xphi_ump_bench",
 120                         "bomp_benchmark_cg",
 121                         "bomp_benchmark_ft",
 122                         "bomp_benchmark_is",
 123                         "bulk_transfer_passthrough",
 124                         "bulkbench",
 125                         "bulkbench_micro_echo",
 126                         "bulkbench_micro_rtt",
 127                         "bulkbench_micro_throughput",
 128                         "elb_app",
 129                         "elb_app_tcp",
 130                         "lrpc_bench",
 131                         "mdb_bench",
 132                         "mdb_bench_old",
 133                         "netthroughput",
 134                         "phases_bench",
 135                         "phases_scale_bench",
 136                         "placement_bench",
 137                         "rcce_pingpong",
 138                         "shared_mem_clock_bench",
 139                         "tsc_bench" ]]
 140
 141     bench_x86_32 = bench_x86 ++ bin_rcce_bt ++ bin_rcce_lu
 142
 143     bench_k1om = [ "/sbin/" ++ f | f <- [
 144                         "benchmarks/bomp_mm",
 145                         "benchmarks/dma_bench",
 146                         "benchmarks/xomp_share",
 147                         "benchmarks/xomp_spawn",
 148                         "benchmarks/xomp_work",
 149                         "benchmarks/xphi_ump_bench",
 150                         "benchmarks/xphi_xump_bench" ] ] ++ bench_x86
 151
 152     -- Default list of modules to build/install for all enabled architectures
 153     modules_common = [ "/sbin/" ++ f | f <- [
 154                           "init",
 155                           "chips",
 156                           "skb",
 157                           "spawnd",
 158                           "startd",
 159                           "mem_serv",
 160                           "monitor",
 161                           "ramfsd" ]]
 162
 163     -- List of modules that are arch-independent and always built
 164     modules_generic = [ "/skb_ramfs.cpio.gz", "/sshd_ramfs.cpio.gz" ]
 165
 166     -- x86_64-specific modules to build by default
 167     -- this should shrink as targets are ported and move into the generic list above
 168     modules_x86_64  = [ "/sbin/" ++ f | f <- [
 169                            "elver",
 170                            "cpu",
 171                            "acpi",
 172                            "ahcid",
 173                            "angler",
 174                            "arrakismon",
 175                            "bcached",
 176                            "bench",
 177                            "bfscope",
 178                            "block_server",
 179                            "block_server_client",
 180                            "boot_perfmon",
 181                            "bs_user",
 182                            "bulk_shm",
 183                            "corectrl",
 184                            "datagatherer",
 185                            "dma_mgr",
 186                            "e1000n",
 187                            "e10k",
 188                            "e10k_queue",
 189                            "echoserver",
 190                            "fbdemo",
 191                            "fish",
 192                            "hpet",
 193                            "ioat_dma",
 194                            "kaluga",
 195                            "lo_queue",
 196                            "lpc_kbd",
 197                            "lpc_timer",
 198                            "lshw",
 199                            "mem_serv_dist",
 200                            "netd",
 201                            "NGD_mng",
 202                            "pci",
 203                            "routing_setup",
 204                            "rtl8029",
 205                            "serial",
 206                            "sfxge",
 207                            "sif",
 208                            "slideshow",
 209                            "sshd",
 210                            "vbe",
 211                            "virtio_blk",
 212                            "virtio_blk_host",
 213                            "vmkitmon",
 214                            "vnode_map_test",
 215                            "webserver",
 216                            "xeon_phi",
 217                            "xeon_phi_mgr"
 218                            ]] ++ modules_common
 219
 220     -- the following are broken in the newidc system
 221     modules_x86_64_broken  = [ "/sbin/" ++ f | f <- [
 222                                   "barriers",
 223                                   "ipi_bench",
 224                                   "ring_barriers",
 225                                   "ssf_bcast",
 226                                   "lamport_bcast" ]]
 227
 228     -- x86-32-specific module to build by default
 229     modules_x86_32  = [ "/sbin/" ++ f | f <- [
 230                            "cpu",
 231                            "lpc_kbd",
 232                            "serial",
 233                            "rcce_pingpong",
 234                            "bench",
 235                            "fbdemo",
 236                            "fish",
 237                            "fputest",
 238                            "pci",
 239                            "acpi",
 240                            "kaluga",
 241                            "slideshow",
 242                            "thc_v_flounder_empty",
 243                            "thcidctest",
 244                            "thcminitest",
 245                            "thctest",
 246                            "vbe",
 247                            "mem_serv_dist",
 248                            "routing_setup",
 249                            "multihoptest",
 250                            "multihop_latency_bench",
 251                            "angler",
 252                            "sshd",
 253                            "corectrl" ]] ++ bin_rcce_bt ++ bin_rcce_lu
 254
 255     modules_k1om = [ "/sbin/" ++ f | f <- [
 256                         "weever",
 257                         "cpu",
 258                         "xeon_phi",
 259                         "corectrl" ] ]
 260
 261     -- ARMv7-a Pandaboard modules
 262     pandaModules = [ "/sbin/" ++ f | f <- [
 263                         "cpu_omap44xx",
 264                         "init",
 265                         "mem_serv",
 266                         "monitor",
 267                         "ramfsd",
 268                         "spawnd",
 269                         "startd",
 270                         "skb",
 271                         "memtest",
 272                         "kaluga",
 273                         "fish",
 274                         "sdma",
 275                         "sdmatest",
 276                         "sdma_bench",
 277                         "bulk_sdma",
 278                         "usb_manager",
 279                         "usb_keyboard",
 280                         "serial",
 281                         "angler",
 282                         "corectrl"
 283                         ] ]
 284
 285     -- ARMv7-m Pandaboard modules
 286     pandaM3Modules = [ "/sbin/" ++ f | f <- [
 287                           "cpu_omap44xx",
 288                           "init",
 289                           "mem_serv",
 290                           "monitor",
 291                           "ramfsd",
 292                           "spawnd",
 293                           "startd",
 294                           "skb",
 295                           "memtest"
 296                           ] ]
 297
 298     -- ARMv7-a modules for running under GEM5
 299     gem5Modules = [ "/sbin/" ++ f | f <- [
 300                        "cpu_arm_gem5",
 301                        "init",
 302                        "mem_serv",
 303                        "monitor",
 304                        "ramfsd",
 305                        "spawnd",
 306                        "startd",
 307                        "corectrl",
 308                        "skb",
 309                        "memtest"
 310                        ] ]
 311   in
 312  [
 313    --
 314    -- Rules to build assorted platforms
 315    --
 316
 317     platform "X86_64_Basic" [ "x86_64" ]
 318       ([ ("x86_64", f) | f <- modules_x86_64 ]
 319        ++
 320        [ ("",       f) | f <- modules_generic])
 321       "Basic 64-bit x86 PC build",
 322
 323     platform "X86_64_Benchmarks" [ "x86_64" ]
 324       ([ ("x86_64", f) | f <- modules_x86_64 ++ bench_x86_64]
 325        ++
 326        [ ("",       f) | f <- modules_generic])
 327       "64-bit x86 PC build with benchmarks",
 328
 329     platform "X86_64_Full" [ "x86_64" ]
 330       ([ ("x86_64", f) | f <- modules_x86_64 ++ bench_x86_64 ++ tests_x86_64 ]
 331        ++
 332        [ ("",       f) | f <- modules_generic])
 333       "64-bit x86 PC build with benchmarks and test suites",
 334
 335     platform "X86_32_Basic" [ "x86_32" ]
 336       ([ ("x86_32", f) | f <- modules_x86_32 ]
 337        ++
 338        [ ("",       f) | f <- modules_generic])
 339       "Basic 32-bit x86 PC build",
 340
 341     platform "X86_32_Benchmarks" [ "x86_32" ]
 342       ([ ("x86_32", f) | f <- modules_x86_32 ++ bench_x86_32]
 343        ++
 344        [ ("",       f) | f <- modules_generic])
 345       "32-bit x86 PC build with benchmarks",
 346
 347     platform "X86_32_Full" [ "x86_32" ]
 348       ([ ("x86_32", f) | f <- modules_x86_32 ++ bench_x86_32 ++ tests_x86_32 ]
 349        ++
 350        [ ("",       f) | f <- modules_generic])
 351       "32-bit x86 PC build with benchmarks and test suites",
 352
 353     platform "K1OM_Basic" [ "k1om" ]
 354       ([ ("k1om", f) | f <- modules_k1om ]
 355        ++
 356        [ ("",       f) | f <- modules_generic])
 357       "Basic Xeon Phi build",
 358
 359     platform "K1OM_Benchmarks" [ "k1om" ]
 360       ([ ("k1om", f) | f <- modules_k1om ++ bench_k1om]
 361        ++
 362        [ ("",       f) | f <- modules_generic])
 363       "Xeon Phi build with benchmarks",
 364
 365     platform "K1OM_Full" [ "k1om" ]
 366       ([ ("k1om", f) | f <- modules_k1om ++ bench_k1om ++ tests_k1om ]
 367        ++
 368        [ ("",       f) | f <- modules_generic])
 369       "Xeon Phi build with benchmarks and test suites",
 370
 371     platform "PandaboardES" [ "armv7" ]
 372     ([ ("armv7", f) | f <- pandaModules ] ++ [ ("root", "/pandaboard_image") ])
 373     "Standard Pandaboard ES build image and modules",
 374
 375     platform "PandaboardES-Heterogeneous" [ "armv7", "armv7-m" ]
 376     ([ ("armv7", f) | f <- pandaModules ] ++ [ ("root", "/pandaboard_het_image") ])
 377     "Pandaboard ES with experimental heterogeneous (Cortex-M3) support",
 378
 379     platform "ARMv7-GEM5" [ "armv7" ]
 380     ([ ("armv7", f) | f <- gem5Modules ] ++ [ ("root", "/arm_gem5_image") ])
 381     "GEM5 emulator for ARM Cortex-A series multicore processors",
 382
 383     platform "ARMv5" [ "armv5" ]
 384     ([ ("armv5", "/sbin/" ++ f) | f <- [ "cpu", "cpu.bin" ]])
 385     "Very basic ARMv5 configuration for testing",
 386
 387     platform "XScale" [ "xscale" ]
 388     ([ ("xscale", "/sbin/" ++ f) | f <- [ "cpu_ixp2800", "cpu_ixp2800.bin" ]])
 389     "Very basic XScale configuration for testing",
 390
 391     --
 392     -- Rules to build assorted boot images
 393     --
 394
 395     -- Build the default PandaBoard boot image
 396     Rule ([ In SrcTree "tools" "/tools/arm_molly/build_pandaboard_image.sh",
 397             Str "--srcdir",   NoDep SrcTree "root" "/.",
 398             Str "--builddir", NoDep BuildTree "root" "/.",
 399             Str "--menu",     In SrcTree "tools" "/hake/menu.lst.pandaboard",
 400             Str "--baseaddr", Str "0x82001000",
 401             Str "--image",    Out "root" "/pandaboard_image",
 402             Str "--gcc",      Str Config.arm_cc,
 403             Str "--objcopy",  Str Config.arm_objcopy,
 404             Dep BuildTree "tools" "/bin/arm_molly"
 405           ] ++ [ (Dep BuildTree "armv7" m) | m <- pandaModules ]),
 406
 407     -- Build the (old) PandaBoard Cortex-M3 image
 408     Rule ([ In SrcTree "tools" "/tools/arm_molly/build_pandaboard_image.sh",
 409             Str "--srcdir",   NoDep SrcTree "root" "/.",
 410             Str "--builddir", NoDep BuildTree "root" "/.",
 411             Str "--menu",     In SrcTree "tools" "/hake/menu.lst.armv7-m",
 412             Str "--baseaddr", Str "0x00",
 413             Str "--cflags",   Str "\"-march=armv7-m -mcpu=cortex-m3 -mthumb\"",
 414             Str "--image",    Out "root" "/pandaboard_m3image_intermediate",
 415             Str "--gcc",      Str Config.arm_cc,
 416             Str "--objcopy",  Str Config.arm_objcopy,
 417             Dep BuildTree "tools" "/bin/arm_molly"
 418           ] ++ [ (Dep BuildTree "armv7-m" m) | m <- pandaM3Modules ]),
 419
 420     -- Convert slave image into a form we can insert in our image
 421     Rule ([ Str "arm-linux-gnueabi-objcopy",
 422             Str "-I", Str "binary",
 423             Str "-O", Str "elf32-littlearm",
 424             Str "-B", Str "arm",
 425             Str "--rename-section", Str (".data=.rodata_thumb,alloc,load" ++
 426                                          ",readonly,data,contents"),
 427             In BuildTree "root" "/pandaboard_m3image_intermediate",
 428             Out "root" "/pandaboard_m3image" ]),
 429
 430     -- Build the PandaBoard Cortex-A9 image that includes the M3 image
 431     Rule ([ In SrcTree "tools" "/tools/arm_molly/build_pandaboard_image.sh",
 432             Str "--srcdir",   NoDep SrcTree "root" "/.",
 433             Str "--builddir", NoDep BuildTree "root" "/.",
 434             Str "-D",         Str "HETEROPANDA",
 435             Str "--menu",     In SrcTree "tools"
 436                                          "/hake/menu.lst.heteropanda_master",
 437             Str "--baseaddr", Str "0x82001000",
 438             Str "--extra",    In BuildTree "root" "/pandaboard_m3image",
 439             Str "--image",    Out "root" "/pandaboard_het_image",
 440             Str "--gcc",      Str Config.arm_cc,
 441             Str "--objcopy",  Str Config.arm_objcopy,
 442             Dep BuildTree "tools" "/bin/arm_molly"
 443           ] ++ [ (Dep BuildTree "armv7" m) | m <- pandaModules ]),
 444
 445     -- Build the ARM GEM5 simulation image
 446     Rule ([ In SrcTree "tools" "/tools/arm_molly/build_pandaboard_image.sh",
 447             Str "--srcdir",   NoDep SrcTree "root" "/.",
 448             Str "--builddir", NoDep BuildTree "root" "/.",
 449             Str "--menu",     In SrcTree "tools" "/hake/menu.lst.arm_gem5_mc",
 450             Str "--baseaddr", Str "0x00100000",
 451             Str "--image",    Out "root" "/arm_gem5_image",
 452             Str "--gcc",      Str Config.arm_cc,
 453             Str "--objcopy",  Str Config.arm_objcopy,
 454             Dep BuildTree "tools" "/bin/arm_molly"
 455           ] ++ [ (Dep BuildTree "armv7" m) | m <- gem5Modules ]),
 456
 457     --
 458     -- Booting: various targets for booting Barrelfish under different circumstances
 459     --
 460
 461     -- Copy menu.list files across
 462     Rules [ copyFile SrcTree "root" ("/hake/menu.lst." ++ p)
 463                      "root" ("/platforms/arm/menu.lst." ++ p)
 464             | p <- [ "arm_gem5",
 465                      "arm_gem5_mc",
 466                      "arm_gem5_panda",
 467                      "armv5",
 468                      "armv7-m",
 469                      "heteropanda_master",
 470                      "pandaboard",
 471                      "xscale" ]],
 472     Rules [ copyFile SrcTree "root" ("/hake/menu.lst." ++ p)
 473                      "root" ("/platforms/x86/menu.lst." ++ p)
 474             | p <- [ "x86_32", "x86_64", "k1om" ] ],
 475
 476     -- Convenient functions for running GEM5
 477     boot "gem5_armv7" [ "armv7" ] [
 478       Str Config.gem5,
 479       In SrcTree "tools" "/tools/arm_gem5/gem5script.py",
 480       Str "--caches",
 481       Str "--l2cache",
 482       Str "--n=2",
 483       NStr "--kernel=", In BuildTree "root" "/arm_gem5_image" ]
 484     "Boot an ARMv7a multicore image in GEM5",
 485
 486     boot "gem5_armv7_detailed" [ "armv7" ] [
 487       Str Config.gem5,
 488       In SrcTree "tools" "/tools/arm_gem5/gem5script.py",
 489       Str "--caches",
 490       Str "--l2cache",
 491       Str "--n=2",
 492       Str "--cpu-type=arm_detailed",
 493       NStr "--kernel=", In BuildTree "root" "/arm_gem5_image" ]
 494     "Boot an ARMv7a multicore image in GEM5 using a detailed CPU model",
 495
 496     boot "qemu_x86_64" [ "x86_64" ] [
 497       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 498       Str "--menu", In BuildTree "root" "/platforms/x86/menu.lst.x86_64",
 499       Str "--arch", Str "x86_64" ]
 500     "Boot QEMU in 64-bit x86 mode emulating a PC",
 501
 502     boot "qemu_x86_32" [ "x86_32" ] [
 503       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 504       Str "--menu", In BuildTree "root" "/platforms/x86/menu.lst.x86_32",
 505       Str "--arch", Str "x86_32" ]
 506     "Boot QEMU in 32-bit x86 mode emulating a PC",
 507
 508     boot "qemu_x86_64_debug" [ "x86_64" ] [
 509       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 510       Str "--menu", In BuildTree "root" "/platforms/x86/menu.lst.x86_64",
 511       Str "--arch", Str "x86_64",
 512       Str "--debug", In SrcTree "tools" "/tools/debug.gdb" ]
 513     "Boot QEMU under GDB in 64-bit x86 mode emulating a PC",
 514
 515     boot "qemu_x86_32_debug" [ "x86_32" ] [
 516       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 517       Str "--menu", In BuildTree "root" "/platforms/x86/menu.lst.x86_32",
 518       Str "--arch", Str "x86_32",
 519       Str "--debug", In SrcTree "tools" "/tools/debug.gdb" ]
 520     "Boot QEMU under GDB in 32-bit x86 mode emulating a PC",
 521
 522     boot "qemu_armv5" [ "armv5" ] [
 523       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 524       Str "--kernel", In BuildTree "armv5" "/sbin/cpu.bin",
 525       Str "--initrd", In BuildTree "armv5" "/romfs.cpio",
 526       Str "--arch", Str "armv5" ]
 527     "Boot QEMU as an ARMv5-based Integrator/CP board",
 528
 529     boot "qemu_armv5_debug" [ "armv5" ] [
 530       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 531       Str "--kernel", In BuildTree "armv5" "/sbin/cpu.bin",
 532       Str "--initrd", In BuildTree "armv5" "/romfs.cpio",
 533       Str "--arch", Str "armv5",
 534       Str "--debug", In SrcTree "tools" "/tools/debug.arm.gdb" ]
 535     "Boot QEMU under GDB as an ARMv5-based Integrator/CP board"
 536  ]