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