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                         "lrpc_bench",
 142                         "mdb_bench",
 143                         "mdb_bench_old",
 144                         "netthroughput",
 145                         "phases_bench",
 146                         "phases_scale_bench",
 147                         "placement_bench",
 148                         "rcce_pingpong",
 149                         "shared_mem_clock_bench",
 150                         "tsc_bench" ]]
 151
 152
 153     bench_k1om = [ "/sbin/" ++ f | f <- [
 154                         "benchmarks/bomp_mm",
 155                         "benchmarks/dma_bench",
 156                         "benchmarks/xomp_share",
 157                         "benchmarks/xomp_spawn",
 158                         "benchmarks/xomp_work",
 159                         "benchmarks/xphi_ump_bench",
 160                         "benchmarks/xphi_xump_bench" ] ] ++ bench_x86
 161
 162     -- Default list of modules to build/install for all enabled architectures
 163     modules_common = [ "/sbin/" ++ f | f <- [
 164                           "init",
 165                           "skb",
 166                           "spawnd",
 167                           "startd",
 168                           "mem_serv",
 169                           "monitor",
 170                           "ramfsd" ]]
 171
 172     -- List of modules that are arch-independent and always built
 173     modules_generic = [
 174         "/eclipseclp_ramfs.cpio.gz",
 175         "/skb_ramfs.cpio.gz" ]
 176
 177     -- x86_64-specific modules to build by default
 178     -- this should shrink as targets are ported and move into the generic list above
 179     modules_x86_64  = [ "/sbin/" ++ f | f <- [
 180                            "elver",
 181                            "cpu",
 182                            "acpi",
 183                            "ahcid",
 184                            "angler",
 185                            "arrakismon",
 186                            "bcached",
 187                            "bench",
 188                            "bfscope",
 189                            "block_server",
 190                            "block_server_client",
 191                            "boot_perfmon",
 192                            "bs_user",
 193                            "bulk_shm",
 194                            "corectrl",
 195                            "datagatherer",
 196                            "dma_mgr",
 197                            "e1000n",
 198                            "e10k",
 199                            "e10k_queue",
 200                            "echoserver",
 201                            "fbdemo",
 202                            "fish",
 203                            "hpet",
 204                            "ioat_dma",
 205                            "kaluga",
 206                            "lo_queue",
 207                            "lpc_kbd",
 208                            "lpc_timer",
 209                            "lshw",
 210                            "mem_serv_dist",
 211                            "netd",
 212                            "NGD_mng",
 213                            "pci",
 214                            "routing_setup",
 215                            "rtl8029",
 216                            "serial_pc16550d",
 217                            "sfxge",
 218                            "sfn5122f",
 219                            "slideshow",
 220                            "vbe",
 221                            "virtio_blk",
 222                            "virtio_blk_host",
 223                            "vmkitmon",
 224                            "vnode_map_test",
 225                            "webserver",
 226                            "xeon_phi",
 227                            "xeon_phi_mgr",
 228                            "net_sockets_server"
 229                            ]] ++ modules_common
 230
 231     -- the following are broken in the newidc system
 232     modules_x86_64_broken  = [ "/sbin/" ++ f | f <- [
 233                                   "barriers",
 234                                   "ipi_bench",
 235                                   "ring_barriers",
 236                                   "ssf_bcast",
 237                                   "lamport_bcast" ]]
 238
 239
 240     modules_k1om = [ "/sbin/" ++ f | f <- [
 241                         "weever",
 242                         "cpu",
 243                         "xeon_phi",
 244                         "corectrl" ] ]
 245
 246     -- ARMv7-a Pandaboard modules
 247     pandaModules = [ "/sbin/" ++ f | f <- [
 248                         "cpu_omap44xx",
 249                         "init",
 250                         "mem_serv",
 251                         "monitor",
 252                         "ramfsd",
 253                         "spawnd",
 254                         "startd",
 255                         "skb",
 256                         "memtest",
 257                         "kaluga",
 258                         "fish",
 259                         "sdmatest",
 260                         "sdma_bench",
 261                         "bulk_sdma",
 262                         "usb_manager",
 263                         "usb_keyboard",
 264                         "serial_omap44xx",
 265                         "serial_kernel",
 266                         "angler",
 267                         "corectrl",
 268                         "driverdomain"
 269                         ] ]
 270
 271     -- ARMv7-A modules for Versatile Express EMM board (GEM5, qemu)
 272     vExpressEMMModules_A15 = [ "/sbin/" ++ f | f <- [
 273                                "cpu_a15ve",
 274                                "init",
 275                                "kaluga",
 276                                "mem_serv",
 277                                "monitor",
 278                                "ramfsd",
 279                                "serial_pl011",
 280                                "serial_kernel",
 281                                "spawnd",
 282                                "startd",
 283                                "corectrl",
 284                                "skb",
 285                                "angler",
 286                                "fish",
 287                                "memtest"
 288                                ] ]
 289
 290     -- ARMv7-A modules for Versatile Express EMM board (FVP)
 291     vExpressEMMModules_A9 = [ "/sbin/" ++ f | f <- [
 292                               "cpu_a9ve",
 293                               "init",
 294                               "kaluga",
 295                               "mem_serv",
 296                               "monitor",
 297                               "ramfsd",
 298                               "serial_pl011",
 299                               "serial_kernel",
 300                               "spawnd",
 301                               "startd",
 302                               "corectrl",
 303                               "skb",
 304                               "angler",
 305                               "fish",
 306                               "memtest"
 307                               ] ]
 308
 309     -- ARMv7-A modules for the Xilinx Zynq7000
 310     zynq7Modules = [ "/sbin/" ++ f | f <- [
 311                      "cpu_zynq7",
 312                      "init",
 313                      "kaluga",
 314                      "mem_serv",
 315                      "monitor",
 316                      "ramfsd",
 317                      "serial_kernel",
 318                      "spawnd",
 319                      "startd",
 320                      "corectrl",
 321                      "skb",
 322                      "angler",
 323                      "fish",
 324                      "memtest"
 325                      ] ]
 326
 327
 328     -- ARMv8 modules for running under QEMU
 329     armv8_modules= [ "/sbin/" ++ f | f <- [
 330                        "init",
 331                        "mem_serv",
 332                        "monitor",
 333                        "ramfsd",
 334                        "spawnd",
 335                        "startd",
 336                        "corectrl",
 337                        "skb",
 338                        "pci",
 339                        "memtest",
 340                        "serial_kernel",
 341                        "fish",
 342                        "angler",
 343                        "kaluga",
 344                        "acpi"
 345                        ] ]
 346
 347     armv7Image target bootTarget cpuTarget physBase modules =
 348         let bootDriver = "/sbin/boot_" ++ bootTarget
 349             cpuDriver  = "/sbin/cpu_"  ++ cpuTarget
 350             image      = "/" ++ target ++ "_image"
 351         in Rules [
 352             Rule ([ In BuildTree "tools" "/bin/arm_bootimage",
 353                     In BuildTree "root" ("/platforms/arm/menu.lst."++target),
 354                     In BuildTree "armv7" bootDriver,
 355                     Out "root" image,
 356                     NoDep BuildTree "root" "/",
 357                     Str physBase ] ++
 358                     [ (Dep BuildTree "armv7" m) | m <- modules ] ++
 359                     [ (Dep BuildTree "" m) | m <- modules_generic ] ),
 360
 361             Rule ([ Str Config.arm_objcopy,
 362                     Str "-O binary",
 363                     In BuildTree "root" image,
 364                     Out "root" (image ++ ".bin") ]),
 365             Rule ([ In SrcTree "tools" "/tools/arm_boot/gdb_script.sh",
 366                     Str Config.arm_objdump,
 367                     In BuildTree "root" image,
 368                     In BuildTree "armv7" bootDriver,
 369                     In BuildTree "armv7" cpuDriver,
 370                     Out "root" (image ++ "-gdb.gdb") ])
 371             ]
 372   in
 373  [
 374    --
 375    -- Rules to build assorted platforms
 376    --
 377
 378     platform "X86_64_Basic" [ "x86_64" ]
 379       ([ ("x86_64", f) | f <- modules_x86_64 ]
 380        ++
 381        [ ("",       f) | f <- modules_generic])
 382       "Basic 64-bit x86 PC build",
 383
 384     platform "X86_64_Benchmarks" [ "x86_64" ]
 385       ([ ("x86_64", f) | f <- modules_x86_64 ++ bench_x86_64]
 386        ++
 387        [ ("",       f) | f <- modules_generic])
 388       "64-bit x86 PC build with benchmarks",
 389
 390     platform "X86_64_Full" [ "x86_64" ]
 391       ([ ("x86_64", f) | f <- modules_x86_64 ++ bench_x86_64 ++ tests_x86_64 ]
 392        ++
 393        [ ("",       f) | f <- modules_generic])
 394       "64-bit x86 PC build with benchmarks and test suites",
 395
 396     platform "K1OM_Basic" [ "k1om" ]
 397       ([ ("k1om", f) | f <- modules_k1om ]
 398        ++
 399        [ ("",       f) | f <- modules_generic])
 400       "Basic Xeon Phi build",
 401
 402     platform "K1OM_Benchmarks" [ "k1om" ]
 403       ([ ("k1om", f) | f <- modules_k1om ++ bench_k1om]
 404        ++
 405        [ ("",       f) | f <- modules_generic])
 406       "Xeon Phi build with benchmarks",
 407
 408     platform "K1OM_Full" [ "k1om" ]
 409       ([ ("k1om", f) | f <- modules_k1om ++ bench_k1om ++ tests_k1om ]
 410        ++
 411        [ ("",       f) | f <- modules_generic])
 412       "Xeon Phi build with benchmarks and test suites",
 413
 414     platform "QEMU" [ "armv8" ]
 415       ([ ("armv8", "/sbin/cpu_a57v"), ("armv8", "/sbin/boot_armv8_generic")  ]
 416        ++
 417        [ ("armv8", f) | f <- armv8_modules ]
 418        ++
 419        [ ("",       f) | f <- modules_generic])
 420     "ARM Virtual Machine Board with ARM Cortex A57 processors in Qemu.",
 421
 422     platform "APM88xxxx" [ "armv8" ]
 423     ([ ("armv8", "/sbin/cpu_apm88xxxx"), ("armv8", "/sbin/boot_armv8_generic")]
 424        ++
 425        [ ("armv8", f) | f <- armv8_modules ]
 426        ++
 427        [ ("",       f) | f <- modules_generic]
 428     )
 429     "The APM XGene development board (Mustang)",
 430
 431     platform "ThunderX" [ "armv8" ]
 432     ([ ("armv8", "/sbin/cpu_cn88xx"), ("armv8", "/sbin/boot_armv8_generic") ]
 433        ++
 434        [ ("armv8", f) | f <- armv8_modules ]
 435        ++
 436        [ ("",       f) | f <- modules_generic]
 437     )
 438     "Cavium ThunderX-1 (CN88xx) boards",
 439
 440     platform "PandaboardES" [ "armv7" ]
 441     ([ ("armv7", f) | f <- pandaModules ] ++
 442      [ ("root", "/armv7_omap44xx_image"),
 443        ("root", "/armv7_omap44xx_image-gdb.gdb") ])
 444     "Standard Pandaboard ES build image and modules",
 445
 446     platform "VExpressEMM-A15" [ "armv7" ]
 447     ([ ("armv7", f) | f <- vExpressEMMModules_A15 ] ++
 448      [ ("root", "/armv7_a15ve_1_image"),
 449        ("root", "/armv7_a15ve_1_image-gdb.gdb"),
 450        ("root", "/armv7_a15ve_fvp_1_image"),
 451        ("root", "/armv7_a15ve_fvp_1_image-gdb.gdb"),
 452        ("root", "/armv7_a15ve_4_image"),
 453        ("root", "/armv7_a15ve_4_image-gdb.gdb"),
 454        ("root", "/armv7_a15ve_fvp_4_image"),
 455        ("root", "/armv7_a15ve_fvp_4_image-gdb.gdb"),
 456        ("root", "/armv7_a15ve_gem5_image"),
 457        ("root", "/armv7_a15ve_gem5_image-gdb.gdb") ])
 458     "VersatileExpress EMM board with ARM Cortex-A15s",
 459
 460     platform "VExpressEMM-A15-A7" [ "armv7" ]
 461     ([ ("armv7", f) | f <- vExpressEMMModules_A15 ] ++
 462      [ ("root", "/armv7_a15a7ve_image"),
 463        ("root", "/armv7_a15a7ve_image-gdb.gdb") ])
 464     "VersatileExpress EMM board with ARM Cortex-A15s and A7s",
 465
 466     platform "VExpressEMM-A9" [ "armv7" ]
 467     ([ ("armv7", f) | f <- vExpressEMMModules_A9 ] ++
 468      [ ("root", "/armv7_a9ve_1_image"),
 469        ("root", "/armv7_a9ve_1_image-gdb.gdb"),
 470        ("root", "/armv7_a9ve_4_image"),
 471        ("root", "/armv7_a9ve_4_image-gdb.gdb") ])
 472     "VersatileExpress EMM board for ARMv7-A Fixed Virtual Platforms",
 473
 474     platform "Zynq7000" [ "armv7" ]
 475     ([ ("armv7", f) | f <- zynq7Modules ] ++
 476      [ ("root", "/armv7_zynq7_image"),
 477        ("root", "/armv7_zynq7_image-gdb.gdb") ])
 478     "Xilinx Zynq7000",
 479
 480     --
 481     -- Rules to build assorted boot images
 482     --
 483
 484     -- Build the default PandaBoard boot image
 485     armv7Image "armv7_omap44xx" "omap44xx" "omap44xx" "0x80000000" pandaModules,
 486
 487     -- Build the A15 simulation image (VersatileExpress EMM board, 1 core)
 488     armv7Image "armv7_a15ve_1" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 489
 490     -- Build the A15 simulation image (VersatileExpress EMM board, 1 core, FVP
 491     -- quirks)
 492     armv7Image "armv7_a15ve_fvp_1" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 493
 494     -- Build the A15 simulation image (VersatileExpress EMM board, 4 cores)
 495     armv7Image "armv7_a15ve_4" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 496
 497     -- Build the A15 simulation image (VersatileExpress EMM board, 4 cores,
 498     -- FVP quirks)
 499     armv7Image "armv7_a15ve_fvp_4" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 500
 501     -- Build the A15 simulation image (VersatileExpress EMM board, with GEM5
 502     -- quirks)
 503     armv7Image "armv7_a15ve_gem5" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 504
 505     -- Build the big.LITTLE A15/A7 simulation image (VersatileExpress EMM
 506     -- board, 4+4 cores)
 507     armv7Image "armv7_a15a7ve" "ve" "a15ve" "0x80000000" vExpressEMMModules_A15,
 508
 509     -- Build the A9 simulation image (VersatileExpress EMM board, 1 core)
 510     armv7Image "armv7_a9ve_1" "ve" "a9ve" "0x80000000" vExpressEMMModules_A9,
 511
 512     -- Build the A9 simulation image (VersatileExpress EMM board, 4 cores)
 513     armv7Image "armv7_a9ve_4" "ve" "a9ve" "0x80000000" vExpressEMMModules_A9,
 514
 515     -- Build the Zynq7000 image
 516     armv7Image "armv7_zynq7" "zynq7" "zynq7" "0x00000000" zynq7Modules,
 517
 518     --
 519     -- Booting: various targets for booting Barrelfish under different circumstances
 520     --
 521
 522     -- Copy menu.list files across
 523     Rules [ copyFile SrcTree "root" ("/hake/menu.lst." ++ p)
 524                      "root" ("/platforms/arm/menu.lst." ++ p)
 525             | p <- [ "armv8_a57v",
 526                      "armv8_a57v_1",
 527                      "armv8_apm88xxxx",
 528                      "armv8_cn88xx",
 529                      "armv7_a9ve_1",
 530                      "armv7_a9ve_4",
 531                      "armv7_a15ve_1",
 532                      "armv7_a15ve_4",
 533                      "armv7_a15ve_fvp_1",
 534                      "armv7_a15ve_fvp_4",
 535                      "armv7_a15ve_gem5",
 536                      "armv7_a15a7ve",
 537                      "armv7_omap44xx",
 538                      "armv7_zynq7" ]],
 539     Rules [ copyFile SrcTree "root" ("/hake/menu.lst." ++ p)
 540                      "root" ("/platforms/x86/menu.lst." ++ p)
 541             | p <- [ "x86_64", "k1om" ] ],
 542
 543
 544     boot "gem5_armv7_vexpressemm" [ "armv7" ] [
 545       In SrcTree "tools" "/tools/arm_gem5/boot_gem5.sh",
 546       Str "VExpress_EMM",
 547       In BuildTree "root" "/armv7_a15ve_gem5_image" ]
 548     "Boot an ARMv7a multicore image on a VersatileExpress EMM board in GEM5",
 549
 550     boot "FVP_VE_A5x1" [ "armv7" ] [
 551       Str "FVP_VE_Cortex-A5x1",
 552       In BuildTree "root" "/armv7_a9ve_1_image" ]
 553     "Boot on a single-core Cortex-A5 FVP model",
 554
 555     boot "FVP_VE_A7x1" [ "armv7" ] [
 556       Str "FVP_VE_Cortex-A7x1",
 557       In BuildTree "root" "/armv7_a15ve_fvp_1_image" ]
 558     "Boot on a single-core Cortex-A7 FVP model",
 559
 560     boot "FVP_VE_A9x1" [ "armv7" ] [
 561       Str "FVP_VE_Cortex-A9x1",
 562       In BuildTree "root" "/armv7_a9ve_1_image" ]
 563     "Boot on a single-core Cortex-A9 FVP model",
 564
 565     boot "FVP_VE_A9x4" [ "armv7" ] [
 566       Str "FVP_VE_Cortex-A9x4",
 567       In BuildTree "root" "/armv7_a9ve_4_image" ]
 568     "Boot on a four-core Cortex-A9 FVP model",
 569
 570     boot "FVP_VE_A15x1" [ "armv7" ] [
 571       Str "FVP_VE_Cortex-A15x1",
 572       In BuildTree "root" "/armv7_a15ve_fvp_1_image" ]
 573     "Boot on a single-core Cortex-A15 FVP model",
 574
 575     boot "FVP_VE_A15x4" [ "armv7" ] [
 576       Str "FVP_VE_Cortex-A15x4-A7x4",
 577       In BuildTree "root" "/armv7_a15ve_fvp_4_image" ]
 578     "Boot on a four-core Cortex-A15 FVP model",
 579
 580     boot "FVP_VE_A15x4_A7x4" [ "armv7" ] [
 581       Str "FVP_VE_Cortex-A15x4-A7x4",
 582       NStr "-a coretile.cluster0.*=",
 583       In BuildTree "root" "/armv7_a15a7ve_image",
 584       NStr "-a coretile.cluster1.*=",
 585       In BuildTree "root" "/armv7_a15a7ve_image",
 586       Str "-C",
 587       Str "coretile.dualclustersystemconfigurationblock.CFG_ACTIVECLUSTER=0x3"
 588     ]
 589     "Boot on a 4+4-core Cortex-A15/A7 FVP model",
 590
 591     boot "FVP_VE_A17x1" [ "armv7" ] [
 592       Str "FVP_VE_Cortex-A17x1",
 593       In BuildTree "root" "/armv7_a15ve_fvp_1_image" ]
 594     "Boot on a single-core Cortex-A17 FVP model",
 595
 596     boot "qemu_a15ve_1" [ "armv7" ] [
 597       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 598       Str "--image", In BuildTree "root" "/armv7_a15ve_1_image",
 599       Str "--arch", Str "a15ve",
 600       Str "--smp", Str "1" ]
 601     "Boot QEMU in 32-bit ARM mode emulating a Versatile Express board (1 core)",
 602
 603     boot "qemu_a15ve_4" [ "armv7" ] [
 604       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 605       Str "--image", In BuildTree "root" "/armv7_a15ve_4_image",
 606       Str "--arch", Str "a15ve",
 607       Str "--smp", Str "4" ]
 608     "Boot QEMU in 32-bit ARM mode emulating a Versatile Express board (4 cores)",
 609
 610     boot "qemu_zynq7" [ "armv7" ] [
 611       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 612       Str "--image", In BuildTree "root" "/armv7_zynq7_image",
 613       Str "--arch", Str "zynq7" ]
 614     "Boot QEMU in 32-bit ARM mode emulating a Zynq 7000",
 615
 616     boot "qemu_a57v" [ "armv8" ] ([
 617       In SrcTree "tools" "/tools/qemu-wrapper.sh",
 618       Str "--menu", In BuildTree "root" "/platforms/arm/menu.lst.armv8_a57v",
 619       Str "--arch", Str "armv8",
 620       Str "--hagfish", Str Config.hagfish_location ]
 621       ++ [(Dep BuildTree "armv8" f) | f <- armv8_modules ]
 622       ++ [(Dep BuildTree "armv8" "/sbin/cpu_a57v")]
 623       ++ [(Dep BuildTree "armv8" "/sbin/boot_armv8_generic")]
 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 "armv8" "/sbin/boot_armv8_generic")]
 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  ]