First outline of a process management service server.
[barrelfish] / if / Hakefile
1 --------------------------------------------------------------------------
2 -- Copyright (c) 2007-2012, 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, CAB F.78, Universitaetstr. 6, CH-8092 Zurich,
8 -- Attn: Systems Group.
9 --
10 -- Hakefile for if/
11 --
12 --------------------------------------------------------------------------
13
14 -- whereas these are using the new-style bindings
15 [ flounderGenDefs (options arch) f
16       | f <- [ "acpi",
17                "ahci_mgmt",
18                "arrakis",
19                "ata_rw28",
20                "bcache",
21                "bcast",
22                "bench",
23                "block_service",
24                "bomp",
25                "boot_perfmon",
26                "bulk_ctrl",
27                "bulkbench",
28                "diskd",
29                "dma",
30                "dma_mgr",
31                "e10k",
32                "e10k_vf",
33                "ehci",
34                "net_ARP",
35                "net_queue_manager",
36                "net_ports",
37                "net_soft_filters",
38                "empty",
39                "fb",
40                "flounderbootstrap",
41                "glue_bench",
42                "hpet",
43                "int_route_controller",
44                "int_route_service",
45                "interdisp",
46                "intermon",
47                "interphi",
48                "ioat_dma_mgr",
49                "keyboard",
50                "lock",
51                "mem",
52                "monitor",
53                "monitor_blocking",
54                "monitor_mem",
55                "mouse",
56                "mt_waitset",
57 --               "netd",
58                "octopus",
59                "omap_sdma",
60                "pci",
61                "ping_pong",
62                "pixels",
63                "proc_mgmt",
64                "rcce",
65                "replay",
66                "routing",
67                "serial",
68                "skb",
69                "skb_map",
70                "spawn",
71                "subways",
72                "terminal",
73                "terminal_config",
74                "terminal_session",
75                "test",
76                "test_rpc_cap",
77                "timer",
78                "trivfs",
79                "unixsock",
80                "usb_driver",
81                "usb_manager",
82                "virtio",
83                "xcorecap",
84                "xcorecapbench",
85                "xeon_phi",
86                "xeon_phi_driver",
87                "xeon_phi_manager",
88                "xmplcr",
89                "xmplmsg",
90                "xmplrpc",
91                "xmplthc",
92                "xomp",
93                "xomp_gateway",
94                "sfn5122f",
95                "sfn5122f_devif",
96                "descq"
97            ],
98              arch <- allArchitectures
99 ] ++
100
101 -- these are for THC stubs
102 [ flounderTHCFile (options arch) f
103       | f <- [ "ata_rw28",
104                "bench",
105                "mem",
106                "octopus",
107                "omap_sdma",
108                "ping_pong",
109                "xmplthc" ],
110              arch <- allArchitectures
111 ]