Merge branch 'arrakis'
[barrelfish] / devices / Hakefile
1 --------------------------------------------------------------------------
2 -- Copyright (c) 2007-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, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
8 --
9 -- Hakefile for devices/
10 --
11 --------------------------------------------------------------------------
12
13 -- Mackerel 2 device descriptions
14 --
15 -- THIS is the place for new device descriptions.
16 --
17 [ mackerel2 (options arch) f
18   | f <- [ "ac97_base_audio",
19            "ac97_ext_audio",
20            "cpuid_intel",
21            "cpuid_amd",
22            "ac97_ext_codec",
23            "ac97_ext_modem",
24            "ahci_hba",
25            "ahci_port",
26            "acpi_ec",
27            "arm",
28            "ata_identify",
29            "audio_nbm",
30            "e1000",
31            "e10k",
32            "e10k_vf",
33            "e10k_q",
34            "ehci",
35            "fat16_ebpb",
36            "fat32_ebpb",
37            "fat_bpb",
38            "fat_direntry",
39            "hpet",
40            "ia32",
41            "ixp2800_icp_pic0",
42            "ixp2800_icp_pit",
43            "ixp2800_uart",
44            "lpc_bridge",
45            "lpc_dma",
46            "lpc_kbd",
47            "lpc_pic",
48            "lpc_pci_config",
49            "lpc_rtc",
50            "lpc_rtc_spaces",
51            "ohci",
52            "pc16550d",
53            "rtl8029as",
54            "tulip",
55            "uhci",
56            "xapic",
57            "x2apic",
58            "amd64",
59            "pl130_gic",
60            "sp804_pit",
61            "cortex_a9_pit",
62            "cortex_a9_gt",
63            "a9scu",
64            "ti_i2c",
65            "ti_twl6030",
66            "sdhc",
67            "apm88xxxx/apm88xxxx_pc16550",
68            "omap/ehci",
69            "omap/ohci",
70            "omap/omap_uart",
71            "omap/omap44xx_cam_cm2",
72            "omap/omap44xx_cam_prm",
73            "omap/omap44xx_ckgen_cm2",
74            "omap/omap44xx_ckgen_prm",
75            "omap/omap44xx_cortex_m3_nvic",
76            "omap/omap44xx_ctrlmod",
77            "omap/omap44xx_device_prm",
78            "omap/omap44xx_ehci",
79            "omap/omap44xx_emif",
80            "omap/omap44xx_fdif",
81            "omap/omap44xx_gpio",
82            "omap/omap44xx_hsusbhost",
83            "omap/omap44xx_id",
84            "omap/omap44xx_l3init_cm2",
85            "omap/omap44xx_l4per_cm2",
86            "omap/omap44xx_mmchs",
87            "omap/omap44xx_mmchs1",
88            "omap/omap44xx_mmu",
89            "omap/omap44xx_scrm",
90            "omap/omap44xx_sdma",
91            "omap/omap44xx_spinlock",
92            "omap/omap44xx_sysctrl_padconf_core",
93            "omap/omap44xx_sysctrl_padconf_wkup",
94            "omap/omap44xx_usbconf",
95            "omap/omap44xx_usbtllhs_config",
96            "omap/omap44xx_uart3",
97            "virtio/virtio_blk",
98            "virtio/virtio_mmio",
99            "virtio/virtio_pci",
100            "virtio/virtio_io",
101            "xeon_phi/xeon_phi_serial",
102            "xeon_phi/xeon_phi_boot",
103            "xeon_phi/xeon_phi_apic",
104            "xeon_phi/xeon_phi_smpt",
105            "xeon_phi/xeon_phi_irq",
106            "xeon_phi/xeon_phi_dma",
107            "xeon_phi/xeon_phi_dma_chan",
108            "ioat_dma",
109            "ioat_dma_chan",
110            "pci_sr_iov_cap",
111            "megaraid",
112            "vtd",
113            "vtd_iotlb"
114          ], arch <- allArchitectures
115 ] ++
116
117 -- Mackerel 1 device descriptions
118 --
119 -- DO NOT add new devices to this list - the interface is non-portable
120 -- and liable to break with new C compiler versions!
121 --
122 [ mackerel (options arch) f
123   | f <- [ "amd_vmcb",
124            "arm_icp_pic0",
125            "arm_icp_pit",
126            "cpuid",
127            "crb_sif",
128            "eMAC",
129            "ht_config",
130            "lpc_ioapic",
131            "lpc_timer",
132            "pc16550d_mem",
133            "pci_hdr0",
134            "pci_hdr0_mem",
135            "pci_hdr1",
136            "pl011_uart",
137            "rck"
138          ], arch <- allArchitectures
139 ]