readme: add NXP iMX8X to supported platforms
[barrelfish] / usr / kaluga / Hakefile
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, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
8 --
9 -- Hakefile for /usr/kaluga
10 --
11 --------------------------------------------------------------------------
12
13 let 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", "start_hpet.c", "start_iommu.c"],
25                       flounderDefs = [ "monitor" , "pci", "kaluga"],
26                       flounderBindings = [ "octopus" , "pci" , "kaluga"],
27                       flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ],
28                       flounderTHCStubs = [ "octopus" ],
29                       addLibraries = libDeps [ "skb", "octopus", "vfs",
30                                                "spawndomain", "elf", "mm",
31                                                "trace", "int_route_client",
32                                                "acpi_client", "collections",
33                                                "driverkit", "pci" , "queue_service"],
34
35                       architectures = [ "x86_64" ] },
36   build application { target = "kaluga",
37                       cFiles = commonCFiles ++ ["start_pci.c"],
38                       flounderDefs = [ "monitor" , "kaluga"],
39                       flounderBindings = [ "octopus", "pci" , "kaluga"],
40                       flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ],
41                       flounderTHCStubs = [ "octopus" ],
42                       addLibraries = libDeps [ "skb", "octopus", "vfs_noblockdev",
43                                                "spawndomain", "elf", "mm",
44                                                "trace", "driverkit", "collections",
45                                                "int_route_client", "pci", "queue_service"],
46                       architectures = [ "k1om" ] },
47   build application { target = "kaluga",
48                       cFiles = commonCFiles ++ [ "armv7.c", "armv7_startup.c" ],
49                       flounderDefs = [ "monitor" ],
50                       flounderBindings = [ "octopus" ],
51                       flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ],
52                       flounderTHCStubs = [ "octopus" ],
53                       addLibraries = libDeps [ "skb", "octopus", "vfs_ramfs",
54                                                "spawndomain", "elf", "mm",
55                                                "trace", "driverkit", "collections",
56                                                "int_route_client", "queue_service"],
57                       architectures = [ "armv7" ] },
58   build application { target = "kaluga",
59                       cFiles = commonCFiles ++ [ "start_pci.c", "armv8.c", "armv8_imx8x.c" ],
60                       flounderDefs = [ "monitor" , "pci", "kaluga"],
61                       flounderBindings = [ "octopus", "pci", "kaluga"],
62                       flounderExtraDefs = [ ("monitor_blocking",["rpcclient"]) ],
63                       flounderTHCStubs = [ "octopus" ],
64                       addLibraries = libDeps [ "skb", "octopus", "vfs_ramfs",
65                                                "spawndomain", "elf", "mm", "collections",
66                                                "trace", "int_route_client",
67                                                "driverkit", "pci", "queue_service"],
68                       architectures = [ "armv8" ] }
69 ]