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

   1 --------------------------------------------------------------------------
   2 -- Copyright (c) 2015-2016 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, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
   8 --
   9 -- Hakefile for /platforms/
  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                         "hellotest",
  33                         "idctest",
  34                         "memtest",
  35                         "nkmtest_all",
  36                         "nkmtest_map_unmap",
  37                         "nkmtest_modify_flags",
  38                         "nkmtest_map_offset",
  39                         "schedtest",
  40                         "test_retype",
  41                         "test_rootcn_resize",
  42                         "test_create_l1l2_cnodes",
  43                         "test_remote_retype",
  44                         "test_remote_delete",
  45                         "test_remote_revoke",
  46                         "testerror",
  47                         "yield_test",
  48                         "skb_cap_storage"
  49                     ] ]
  50
  51     tests_x86 = [ "/sbin/" ++ f | f <- [
  52                         "tests/luatest",
  53                         "tests/numatest" ] ] ++ tests_common
  54
  55     tests_x86_64 = [ "/sbin/" ++ f | f <- [
  56                         "arrakis_hellotest",
  57                         "ata_rw28_test",
  58                         "bomp_cpu_bound",
  59                         "bomp_cpu_bound_progress",
  60                         "bomp_sync",
  61                         "bomp_sync_progress",
  62                         "bomp_test",
  63                         "bulk_shm",
  64                         "cryptotest",
  65                         "fread_test",
  66                         "fscanf_test",
  67                         "mdbtest_addr_zero",
  68                         "mdbtest_range_query",
  69                         "mem_affinity",
  70                         "multihoptest",
  71                         "net-test",
  72                         "net_openport_test",
  73                         "nkmtest_invalid_mappings",
  74                         "perfmontest",
  75                         "phoenix_kmeans",
  76                         "socketpipetest",
  77                         "spantest",
  78                         "spin",
  79                         "testconcurrent",
  80                         "testdesc",
  81                         "testdesc-child",
  82                         "tests/cxxtest",
  83                         "tests/dma_test",
  84                         "tests/tftpclient",
  85                         "tests/xphi_nameservice_test",
  86                         "thcidctest",
  87                         "thcminitest",
  88                         "thctest",
  89                         "timer_test",
  90                         "tlstest",
  91                         "tweedtest",
  92                         "xcorecap",
  93                         "xcorecapserv" ] ] ++ tests_x86
  94
  95
  96     tests_k1om = [ "/sbin/" ++ f | f <- [
  97                         "tests/dma_test",
  98                         "tests/xeon_phi_inter",
  99                         "tests/xeon_phi_test",
 100                         "tests/xphi_nameservice_test" ] ] ++ tests_x86
 101
 102     bench_common = [ "/sbin/" ++ f | f <- [
 103                         "channel_cost_bench",
 104                         "flounder_stubs_buffer_bench",
 105                         "flounder_stubs_empty_bench",
 106                         "flounder_stubs_payload_bench",
 107                         "xcorecapbench" ]]
 108
 109     bench_x86 =  [ "/sbin/" ++ f | f <- [
 110                       "multihop_latency_bench",
 111                       "net_openport_test",
 112                       "perfmontest",
 113                       "thc_v_flounder_empty",
 114                       "timer_test",
 115                       "udp_throughput",
 116                       "ump_exchange",
 117                       "ump_latency",
 118                       "ump_latency_cache",
 119                       "ump_receive",
 120                       "ump_send",
 121                       "ump_throughput" ]]
 122
 123     bench_x86_64 = bench_x86 ++ bin_rcce_bt ++ bin_rcce_lu ++
 124                    [ "/sbin/" ++ f | f <- [
 125                         "ahci_bench",
 126                         "apicdrift_bench",
 127                         "benchmarks/bomp_mm",
 128                         "benchmarks/dma_bench",
 129                         "benchmarks/xomp_share",
 130                         "benchmarks/xomp_spawn",
 131                         "benchmarks/xomp_work",
 132                         "benchmarks/xphi_ump_bench",
 133                         "bomp_benchmark_cg",
 134                         "bomp_benchmark_ft",
 135                         "bomp_benchmark_is",
 136                         "bulk_transfer_passthrough",
 137                         "bulkbench",
 138                         "bulkbench_micro_echo",
 139                         "bulkbench_micro_rtt",
 140                         "bulkbench_micro_throughput",
 141                         "elb_app",
 142                         "elb_app_tcp",
 143                         "lrpc_bench",
 144                         "mdb_bench",
 145                         "mdb_bench_old",
 146                         "netthroughput",
 147                         "phases_bench",
 148                         "phases_scale_bench",
 149                         "placement_bench",
 150                         "rcce_pingpong",
 151                         "shared_mem_clock_bench",
 152                         "tsc_bench" ]]
 153
 154
 155     bench_k1om = [ "/sbin/" ++ f | f <- [
 156                         "benchmarks/bomp_mm",
 157                         "benchmarks/dma_bench",
 158                         "benchmarks/xomp_share",
 159                         "benchmarks/xomp_spawn",
 160                         "benchmarks/xomp_work",
 161                         "benchmarks/xphi_ump_bench",
 162                         "benchmarks/xphi_xump_bench" ] ] ++ bench_x86
 163
 164     -- Default list of modules to build/install for all enabled architectures
 165     modules_common = [ "/sbin/" ++ f | f <- [
 166                           "init",
 167                           "skb",
 168                           "spawnd",
 169                           "startd",
 170                           "mem_serv",
 171                           "monitor",
 172                           "ramfsd" ]]
 173
 174     -- List of modules that are arch-independent and always built
 175     modules_generic = [
 176         "/eclipseclp_ramfs.cpio.gz",
 177         "/skb_ramfs.cpio.gz" ]
 178
 179     -- x86_64-specific modules to build by default
 180     -- this should shrink as targets are ported and move into the generic list above
 181     modules_x86_64  = [ "/sbin/" ++ f | f <- [
 182                            "elver",
 183                            "cpu",
 184                            "acpi",
 185                            "ahcid",
 186                            "angler",
 187                            "arrakismon",
 188                            "bcached",
 189                            "bench",
 190                            "bfscope",
 191                            "block_server",
 192                            "block_server_client",
 193                            "boot_perfmon",
 194                            "bs_user",
 195                            "bulk_shm",
 196                            "corectrl",
 197                            "datagatherer",
 198                            "dma_mgr",
 199                            "e1000n",
 200                            "e10k",
 201                            "e10k_queue",
 202                            "echoserver",
 203                            "fbdemo",
 204                            "fish",
 205                            "hpet",
 206                            "ioat_dma",
 207                            "kaluga",
 208                            "lo_queue",
 209                            "lpc_kbd",
 210                            "lpc_timer",
 211                            "lshw",
 212                            "mem_serv_dist",
 213                            "netd",
 214                            "NGD_mng",
 215                            "pci",
 216                            "routing_setup",
 217                            "rtl8029",
 218                            "serial_pc16550d",
 219                            "sfxge",
 220                            "sfn5122f",
 221                            "slideshow",
 222                            "vbe",
 223                            "virtio_blk",
 224                            "virtio_blk_host",
 225                            "vmkitmon",
 226                            "vnode_map_test",
 227                            "webserver",
 228                            "xeon_phi",
 229                            "xeon_phi_mgr"
 230                            ]] ++ modules_common
 231
 232     -- the following are broken in the newidc system
 233     modules_x86_64_broken  = [ "/sbin/" ++ f | f <- [
 234                                   "barriers",
 235                                   "ipi_bench",
 236                                   "ring_barriers",
 237                                   "ssf_bcast",
 238                                   "lamport_bcast" ]]
 239
 240
 241     modules_k1om = [ "/sbin/" ++ f | f <- [
 242                         "weever",
 243                         "cpu",
 244                         "xeon_phi",
 245                         "corectrl" ] ]
 246
 247     -- ARMv7-a Pandaboard modules
 248     pandaModules = [ "/sbin/" ++ f | f <- [
 249                         "cpu_omap44xx",
 250                         "init",
 251                         "mem_serv",
 252                         "monitor",
 253                         "ramfsd",
 254                         "spawnd",
 255                         "startd",
 256                         "skb",
 257                         "memtest",
 258                         "kaluga",
 259                         "fish",
 260                         "sdmatest",
 261                         "sdma_bench",
 262                         "bulk_sdma",
 263                         "usb_manager",
 264                         "usb_keyboard",
 265                         "serial_omap44xx",
 266                         "serial_kernel",
 267                         "angler",
 268                         "corectrl",
 269                         "driverdomain"
 270                         ] ]
 271
 272     -- ARMv7-A modules for Versatile Express EMM board (GEM5, qemu)
 273     vExpressEMMModules_A15 = [ "/sbin/" ++ f | f <- [
 274                                "cpu_a15ve",
 275                                "init",
 276                                "kaluga",
 277                                "mem_serv",
 278                                "monitor",
 279                                "ramfsd",
 280                                "serial_pl011",
 281                                "serial_kernel",
 282                                "spawnd",
 283                                "startd",
 284                                "corectrl",
 285                                "skb",
 286                                "angler",
 287                                "fish",
 288                                "memtest"
 289                                ] ]
 290
 291     -- ARMv7-A modules for Versatile Express EMM board (FVP)
 292     vExpressEMMModules_A9 = [ "/sbin/" ++ f | f <- [
 293                               "cpu_a9ve",
 294                               "init",
 295                               "kaluga",
 296                               "mem_serv",
 297                               "monitor",
 298                               "ramfsd",
 299                               "serial_pl011",
 300                               "serial_kernel",
 301                               "spawnd",
 302                               "startd",
 303                               "corectrl",
 304                               "skb",
 305                               "angler",
 306                               "fish",
 307                               "memtest"
 308                               ] ]
 309
 310     -- ARMv7-A modules for the Xilinx Zynq7000
 311     zynq7Modules = [ "/sbin/" ++ f | f <- [
 312                      "cpu_zynq7",
 313                      "init",
 314                      "kaluga",
 315                      "mem_serv",
 316                      "monitor",
 317                      "ramfsd",
 318                      "serial_kernel",
 319                      "spawnd",
 320                      "startd",
 321                      "corectrl",
 322                      "skb",
 323                      "angler",
 324                      "fish",
 325                      "memtest"
 326                      ] ]
 327
 328
 329     -- ARMv8 modules for running under QEMU
 330     armv8_modules= [ "/sbin/" ++ f | f <- [
 331                        "init",
 332                        "mem_serv",
 333                        "monitor",
 334                        "ramfsd",
 335                        "spawnd",
 336                        "startd",
 337                        "corectrl",
 338                        "skb",
 339                        "pci",
 340                        "memtest",
 341                        "serial_kernel",
 342                        "fish",
 343                        "angler",
 344                        "kaluga",
 345                        "acpi"
 346                        ] ]
 347
 348     armv7Image target bootTarget cpuTarget physBase modules =
 349         let bootDriver = "/sbin/boot_" ++ bootTarget
 350             cpuDriver  = "/sbin/cpu_"  ++ cpuTarget
 351             image      = "/" ++ target ++ "_image"
 352         in Rules [
 353             Rule ([ In BuildTree "tools" "/bin/arm_bootimage",
 354                     In BuildTree "root" ("/platforms/arm/menu.lst."++target),
 355                     In BuildTree "armv7" bootDriver,
 356                     Out "root" image,
 357                     NoDep BuildTree "root" "/",
 358                     Str physBase ] ++
 359                     [ (Dep BuildTree "armv7" m) | m <- modules ] ++
 360                     [ (Dep BuildTree "" m) | m <- modules_generic ] ),
 361
 362             Rule ([ Str Config.arm_objcopy,
 363                     Str "-O binary",
 364                     In BuildTree "root" image,
 365                     Out "root" (image ++ ".bin") ]),
 366             Rule ([ In SrcTree "tools" "/tools/arm_boot/gdb_script.sh",
 367                     Str Config.arm_objdump,
 368                     In BuildTree "root" image,
 369                     In BuildTree "armv7" bootDriver,
 370                     In BuildTree "armv7" cpuDriver,
 371                     Out "root" (image ++ "-gdb.gdb") ])
 372             ]
 373   in
 374  [
 375    --
 376    -- Rules to build assorted platforms
 377    --
 378
 379     platform "X86_64_Basic" [ "x86_64" ]
 380       ([ ("x86_64", f) | f <- modules_x86_64 ]
 381        ++
 382        [ ("",       f) | f <- modules_generic])
 383       "Basic 64-bit x86 PC build",
 384
 385     platform "X86_64_Benchmarks" [ "x86_64" ]
 386       ([ ("x86_64", f) | f <- modules_x86_64 ++ bench_x86_64]
 387        ++
 388        [ ("",       f) | f <- modules_generic])
 389       "64-bit x86 PC build with benchmarks",
 390
 391     platform "X86_64_Full" [ "x86_64" ]
 392       ([ ("x86_64", f) | f <- modules_x86_64 ++ bench_x86_64 ++ tests_x86_64 ]
 393        ++
 394        [ ("",       f) | f <- modules_generic])
 395       "64-bit x86 PC build with benchmarks and test suites",
 396
 397     platform "K1OM_Basic" [ "k1om" ]
 398       ([ ("k1om", f) | f <- modules_k1om ]
 399        ++
 400        [ ("",       f) | f <- modules_generic])
 401       "Basic Xeon Phi build",
 402
 403     platform "K1OM_Benchmarks" [ "k1om" ]
 404       ([ ("k1om", f) | f <- modules_k1om ++ bench_k1om]
 405        ++
 406        [ ("",       f) | f <- modules_generic])
 407       "Xeon Phi build with benchmarks",
 408
 409     platform "K1OM_Full" [ "k1om" ]
 410       ([ ("k1om", f) | f <- modules_k1om ++ bench_k1om ++ tests_k1om ]
 411        ++
 412        [ ("",       f) | f <- modules_generic])
 413       "Xeon Phi build with benchmarks and test suites",
 414
 415     platform "QEMU" [ "armv8" ]
 416       ([ ("armv8", "/sbin/cpu_a57v") ]
 417        ++
 418        [ ("armv8", f) | f <- armv8_modules ]
 419        ++
 420        [ ("",       f) | f <- modules_generic])
 421     "ARM Virtual Machine Board with ARM Cortex A57 processors in Qemu.",
 422
 423     platform "APM88xxxx" [ "armv8" ]
 424     ([ ("armv8", "/sbin/cpu_apm88xxxx"), ("armv8", "/sbin/boot_armv8_generic")]
 425        ++
 426        [ ("armv8", f) | f <- armv8_modules ]
 427        ++
 428        [ ("",       f) | f <- modules_generic]
 429     )
 430     "The APM XGene development board (Mustang)",
 431
 432     platform "ThunderX" [ "armv8" ]
 433     ([ ("armv8", "/sbin/cpu_cn88xx"), ("armv8", "/sbin/boot_armv8_generic") ]
 434        ++
 435        [ ("armv8", f) | f <- armv8_modules ]
 436        ++
 437        [ ("",       f) | f <- modules_generic]
 438     )
 439     "Cavium ThunderX-1 (CN88xx) boards",
 440
 441     platform "PandaboardES" [ "armv7" ]
 442     ([ ("armv7", f) | f <- pandaModules ] ++
 443      [ ("root", "/armv7_omap44xx_image"),
 444        ("root", "/armv7_omap44xx_image-gdb.gdb") ])
 445     "Standard Pandaboard ES build image and modules",
 446
 447     platform "VExpressEMM-A15" [ "armv7" ]
 448     ([ ("armv7", f) | f <- vExpressEMMModules_A15 ] ++
 449      [ ("root", "/armv7_a15ve_1_image"),
 450        ("root", "/armv7_a15ve_1_image-gdb.gdb"),
 451        ("root", "/armv7_a15ve_fvp_1_image"),
 452        ("root", "/armv7_a15ve_fvp_1_image-gdb.gdb"),
 453        ("root", "/armv7_a15ve_4_image"),
 454        ("root", "/armv7_a15ve_4_image-gdb.gdb"),
 455        ("root", "/armv7_a15ve_fvp_4_image"),
 456        ("root", "/armv7_a15ve_fvp_4_image-gdb.gdb"),
 457        ("root", "/armv7_a15ve_gem5_image"),
 458        ("root", "/armv7_a15ve_gem5_image-gdb.gdb") ])
 459     "VersatileExpress EMM board with ARM Cortex-A15s",
 460
 461     platform "VExpressEMM-A15-A7" [ "armv7" ]
 462     ([ ("armv7", f) | f <- vExpressEMMModules_A15 ] ++
 463      [ ("root", "/armv7_a15a7ve_image"),
 464        ("root", "/armv7_a15a7ve_image-gdb.gdb") ])
 465     "VersatileExpress EMM board with ARM Cortex-A15s and A7s",
 466
 467     platform "VExpressEMM-A9" [ "armv7" ]
 468     ([ ("armv7", f) | f <- vExpressEMMModules_A9 ] ++
 469      [ ("root", "/armv7_a9ve_1_image"),
 470        ("root", "/armv7_a9ve_1_image-gdb.gdb"),
 471        ("root", "/armv7_a9ve_4_image"),
 472        ("root", "/armv7_a9ve_4_image-gdb.gdb") ])
 473     "VersatileExpress EMM board for ARMv7-A Fixed Virtual Platforms",
 474
 475     platform "Zynq7000" [ "armv7" ]
 476     ([ ("armv7", f) | f <- zynq7Modules ] ++
 477      [ ("root", "/armv7_zynq7_image"),
 478        ("root", "/armv7_zynq7_image-gdb.gdb") ])
 479     "Xilinx Zynq7000",
 480
 481     --
 482     -- Rules to build assorted boot images
 483     --
 484
 485     -- Build the default PandaBoard boot image
 486     armv7Image "armv7_omap44xx" "omap44xx" "omap44xx" "0x80000000" pandaModules,
 487
 488     -- Build the A15 simulation image (VersatileExpress EMM board, 1 core)
 489     armv7Image "armv7_a15ve_1" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 490
 491     -- Build the A15 simulation image (VersatileExpress EMM board, 1 core, FVP
 492     -- quirks)
 493     armv7Image "armv7_a15ve_fvp_1" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 494
 495     -- Build the A15 simulation image (VersatileExpress EMM board, 4 cores)
 496     armv7Image "armv7_a15ve_4" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 497
 498     -- Build the A15 simulation image (VersatileExpress EMM board, 4 cores,
 499     -- FVP quirks)
 500     armv7Image "armv7_a15ve_fvp_4" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 501
 502     -- Build the A15 simulation image (VersatileExpress EMM board, with GEM5
 503     -- quirks)
 504     armv7Image "armv7_a15ve_gem5" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 505
 506     -- Build the big.LITTLE A15/A7 simulation image (VersatileExpress EMM
 507     -- board, 4+4 cores)
 508     armv7Image "armv7_a15a7ve" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 509
 510     -- Build the A9 simulation image (VersatileExpress EMM board, 1 core)
 511     armv7Image "armv7_a9ve_1" "ve" "a9ve" "0x80000000" vExpressEMMModules_A9,
 512
 513     -- Build the A9 simulation image (VersatileExpress EMM board, 4 cores)
 514     armv7Image "armv7_a9ve_4" "ve" "a9ve" "0x80000000" vExpressEMMModules_A9,
 515
 516     -- Build the Zynq7000 image
 517     armv7Image "armv7_zynq7" "zynq7" "zynq7" "0x00000000" zynq7Modules,
 518
 519     --
 520     -- Booting: various targets for booting Barrelfish under different circumstances
 521     --
 522
 523     -- Copy menu.list files across
 524     Rules [ copyFile SrcTree "root" ("/hake/menu.lst." ++ p)
 525                      "root" ("/platforms/arm/menu.lst." ++ p)
 526             | p <- [ "armv8_a57v",
 527                      "armv8_a57v_1",
 528                      "armv8_apm88xxxx",
 529                      "armv8_cn88xx",
 530                      "armv7_a9ve_1",
 531                      "armv7_a9ve_4",
 532                      "armv7_a15ve_1",
 533                      "armv7_a15ve_4",
 534                      "armv7_a15ve_fvp_1",
 535                      "armv7_a15ve_fvp_4",
 536                      "armv7_a15ve_gem5",
 537                      "armv7_a15a7ve",
 538                      "armv7_omap44xx",
 539                      "armv7_zynq7" ]],
 540     Rules [ copyFile SrcTree "root" ("/hake/menu.lst." ++ p)
 541                      "root" ("/platforms/x86/menu.lst." ++ p)
 542             | p <- [ "x86_64", "k1om" ] ],
 543
 544
 545     boot "gem5_armv7_vexpressemm" [ "armv7" ] [
 546       In SrcTree "tools" "/tools/arm_gem5/boot_gem5.sh",
 547       Str "VExpress_EMM",
 548       In BuildTree "root" "/armv7_a15ve_gem5_image" ]
 549     "Boot an ARMv7a multicore image on a VersatileExpress EMM board in GEM5",
 550
 551     boot "FVP_VE_A5x1" [ "armv7" ] [
 552       Str "FVP_VE_Cortex-A5x1",
 553       In BuildTree "root" "/armv7_a9ve_1_image" ]
 554     "Boot on a single-core Cortex-A5 FVP model",
 555
 556     boot "FVP_VE_A7x1" [ "armv7" ] [
 557       Str "FVP_VE_Cortex-A7x1",
 558       In BuildTree "root" "/armv7_a15ve_fvp_1_image" ]
 559     "Boot on a single-core Cortex-A7 FVP model",
 560
 561     boot "FVP_VE_A9x1" [ "armv7" ] [
 562       Str "FVP_VE_Cortex-A9x1",
 563       In BuildTree "root" "/armv7_a9ve_1_image" ]
 564     "Boot on a single-core Cortex-A9 FVP model",
 565
 566     boot "FVP_VE_A9x4" [ "armv7" ] [
 567       Str "FVP_VE_Cortex-A9x4",
 568       In BuildTree "root" "/armv7_a9ve_4_image" ]
 569     "Boot on a four-core Cortex-A9 FVP model",
 570
 571     boot "FVP_VE_A15x1" [ "armv7" ] [
 572       Str "FVP_VE_Cortex-A15x1",
 573       In BuildTree "root" "/armv7_a15ve_fvp_1_image" ]
 574     "Boot on a single-core Cortex-A15 FVP model",
 575
 576     boot "FVP_VE_A15x4" [ "armv7" ] [
 577       Str "FVP_VE_Cortex-A15x4-A7x4",
 578       In BuildTree "root" "/armv7_a15ve_fvp_4_image" ]
 579     "Boot on a four-core Cortex-A15 FVP model",
 580
 581     boot "FVP_VE_A15x4_A7x4" [ "armv7" ] [
 582       Str "FVP_VE_Cortex-A15x4-A7x4",
 583       NStr "-a coretile.cluster0.*=",
 584       In BuildTree "root" "/armv7_a15a7ve_image",
 585       NStr "-a coretile.cluster1.*=",
 586       In BuildTree "root" "/armv7_a15a7ve_image",
 587       Str "-C",
 588       Str "coretile.dualclustersystemconfigurationblock.CFG_ACTIVECLUSTER=0x3"
 589     ]
 590     "Boot on a 4+4-core Cortex-A15/A7 FVP model",
 591
 592     boot "FVP_VE_A17x1" [ "armv7" ] [
 593       Str "FVP_VE_Cortex-A17x1",
 594       In BuildTree "root" "/armv7_a15ve_fvp_1_image" ]
 595     "Boot on a single-core Cortex-A17 FVP model",
 596
 597     boot "qemu_a15ve_1" [ "armv7" ] [
 598       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 599       Str "--image", In BuildTree "root" "/armv7_a15ve_1_image",
 600       Str "--arch", Str "a15ve",
 601       Str "--smp", Str "1" ]
 602     "Boot QEMU in 32-bit ARM mode emulating a Versatile Express board (1 core)",
 603
 604     boot "qemu_a15ve_4" [ "armv7" ] [
 605       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 606       Str "--image", In BuildTree "root" "/armv7_a15ve_4_image",
 607       Str "--arch", Str "a15ve",
 608       Str "--smp", Str "4" ]
 609     "Boot QEMU in 32-bit ARM mode emulating a Versatile Express board (4 cores)",
 610
 611     boot "qemu_zynq7" [ "armv7" ] [
 612       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 613       Str "--image", In BuildTree "root" "/armv7_zynq7_image",
 614       Str "--arch", Str "zynq7" ]
 615     "Boot QEMU in 32-bit ARM mode emulating a Zynq 7000",
 616
 617     boot "qemu_a57v" [ "armv8" ] ([
 618       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 619       Str "--menu", In BuildTree "root" "/platforms/arm/menu.lst.armv8_a57v",
 620       Str "--arch", Str "armv8",
 621       Str "--hagfish", Str Config.hagfish_location ]
 622       ++ [(Dep BuildTree "armv8" f) | f <- armv8_modules ]
 623       ++ [(Dep BuildTree "armv8" "/sbin/cpu_a57v")]
 624       ++ [(Dep BuildTree "" f) | f <- modules_generic ])
 625     "Boot QEMU in 64-bit ARM mode emulating a ARM Virtual Machine",
 626
 627     boot "qemu_a57v_debug" [ "armv8" ] ([
 628       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 629       Str "--menu", In BuildTree "root" "/platforms/arm/menu.lst.armv8_a57v",
 630       Str "--arch", Str "armv8",
 631       Str "--hagfish", Str Config.hagfish_location,
 632       Str "--debug", In SrcTree "tools" "/tools/debug.armv8.gdb" ]
 633       ++ [(Dep BuildTree "armv8" f) | f <- armv8_modules ]
 634       ++ [(Dep BuildTree "armv8" "/sbin/cpu_a57v")]
 635       ++ [(Dep BuildTree "" f) | f <- modules_generic ])
 636     "Boot QEMU in 64-bit ARM mode emulating a ARM Virtual Machine",
 637
 638     boot "qemu_x86_64" [ "x86_64" ] ([
 639       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 640       Str "--menu", In BuildTree "root" "/platforms/x86/menu.lst.x86_64",
 641       Str "--arch", Str "x86_64" ] ++ [
 642       (Dep BuildTree "x86_64" f) | f <- modules_x86_64 ] ++ [
 643       (Dep BuildTree "" f) | f <- modules_generic ])
 644     "Boot QEMU in 64-bit x86 mode emulating a PC",
 645
 646     boot "qemu_x86_64_debug" [ "x86_64" ] ([
 647       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 648       Str "--menu", In BuildTree "root" "/platforms/x86/menu.lst.x86_64",
 649       Str "--arch", Str "x86_64",
 650       Str "--debug", In SrcTree "tools" "/tools/debug.gdb" ] ++ [
 651       (Dep BuildTree "x86_64" f) | f <- modules_x86_64 ] ++ [
 652       (Dep BuildTree "" f) | f <- modules_generic ])
 653     "Boot QEMU under GDB in 64-bit x86 mode emulating a PC",
 654
 655     boot "usbboot_panda" [ "armv7" ] [
 656       In BuildTree "tools" "/bin/usbboot",
 657       In BuildTree "root" "/armv7_omap44xx_image"
 658     ]
 659     "Boot Barrelfish on a Pandaboard, over a local USB cable"
 660
 661  ]