git.barrelfish.org Git - barrelfish/blob - usr/drivers/cpuboot/Hakefile

   1 --------------------------------------------------------------------------
   2 -- Copyright (c) 2013, 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 cpu boot drivers
  10 --
  11 --------------------------------------------------------------------------
  12
  13 let template = application {
  14         target = "corectrl",
  15         addIncludes = [
  16             "../../../kernel/include/arch/x86_64/",
  17             "../../../kernel/include"
  18         ],
  19         flounderDefs = ["monitor_blocking", "monitor", "octopus" , "acpi"],
  20         flounderExtraDefs = [("monitor_blocking", ["rpcclient"]), ("acpi", ["rpcclient"])],
  21         flounderBindings = ["intermon"]
  22     }
  23 in [
  24     build template {
  25         addLibraries = libDeps ["vfs", "spawndomain", "elf", "acpi_client", "octopus", "bench"],
  26         cFiles = ["common.c", "main.c", "x86boot.c"],
  27         assemblyFiles = ["init_ap_x86_64.S", "init_ap_x86_32.S"],
  28         architectures = ["x86_32", "x86_64"]
  29     },
  30     build template {
  31         addLibraries = libDeps ["vfs", "spawndomain", "elf", "octopus", "bench"],
  32         cFiles = ["common.c", "main.c", "x86boot.c"],
  33         assemblyFiles = ["init_ap_x86_64.S", "init_ap_x86_32.S"],
  34         architectures = ["k1om"]
  35     },
  36     build template {
  37         addLibraries = libDeps ["vfs_ramfs", "spawndomain", "elf", "octopus", "bench"],
  38         cFiles = ["common.c", "main.c", "armboot.c"],
  39         architectures = ["armv7", "armv5"]
  40     }
  41 ]