1--------------------------------------------------------------------------
2-- Copyright (c) 2007-2009, 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, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
8--
9-- Hakefile for /usr/kaluga
10--
11--------------------------------------------------------------------------
12
13let commonCFiles = [ "boot_modules.c",
14                    "device_caps.c",
15                    "int_caps.c",
16                    "driver_startup.c",
17                    "main.c",
18                    "queue.c",
19                    "start_cpu.c",
20                    "start_int_ctrl.c",
21                    "driver_domains.c"
22                    ] in
23[ build application { target = "kaluga",
24                      cFiles = (commonCFiles) ++ [ "start_pci.c", "x86.c" ],
25                      flounderDefs = [ "monitor" , "pci"],
26                      flounderBindings = [ "octopus" , "pci" ],
27                      flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ],
28                      flounderTHCStubs = [ "octopus" ],
29                      addLibraries = libDeps [ "skb", "octopus", "vfs",
30                                               "spawndomain", "elf", "mm",
31                                               "trace", "int_route_client",
32                                               "driverkit", "pci" ],
33                      architectures = [ "x86_64", "x86_32" ] },
34  build application { target = "kaluga",
35                      cFiles = commonCFiles ++ ["start_pci.c"],
36                      flounderDefs = [ "monitor" ],
37                      flounderBindings = [ "octopus", "pci" ],
38                      flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ],
39                      flounderTHCStubs = [ "octopus" ],
40                      addLibraries = libDeps [ "skb", "octopus", "vfs_noblockdev",
41                                               "spawndomain", "elf", "mm",
42                                               "trace", "driverkit",
43                                               "int_route_client", "pci"],
44                      architectures = [ "k1om" ] },
45  build application { target = "kaluga",
46                      cFiles = commonCFiles ++ [ "armv7.c", "armv7_startup.c" ],
47                      flounderDefs = [ "monitor" ],
48                      flounderBindings = [ "octopus" ],
49                      flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ],
50                      flounderTHCStubs = [ "octopus" ],
51                      addLibraries = libDeps [ "skb", "octopus", "vfs_ramfs",
52                                               "spawndomain", "elf", "mm",
53                                               "trace", "driverkit",
54                                               "int_route_client"],
55                      architectures = [ "armv7" ] },
56  build application { target = "kaluga",
57                      cFiles = commonCFiles ++ [ "start_pci.c", "armv8.c" ],
58                      flounderDefs = [ "monitor" , "pci"],
59                      flounderBindings = [ "octopus", "pci"],
60                      flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ],
61                      flounderTHCStubs = [ "octopus" ],
62                      addLibraries = libDeps [ "skb", "octopus", "vfs_ramfs",
63                                               "spawndomain", "elf", "mm",
64                                               "trace", "int_route_client",
65                                               "driverkit", "pci"],
66                      architectures = [ "armv8" ] }
67]
68