Add lpuart kernel driver
[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, Universitaetstrasse 6, 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            "armv8",
21            "cpuid_intel",
22            "cpuid_amd",
23            "cpuid_arm",
24            "ac97_ext_codec",
25            "ac97_ext_modem",
26            "ahci_hba",
27            "ahci_port",
28            "acpi_ec",
29            "acpi_ec_mem",
30            "arm",
31            "ata_identify",
32            "audio_nbm",
33            "e1000",
34            "e1000e",
35            "e10k",
36            "e10k_vf",
37            "e10k_q",
38            "ehci",
39            "fat16_ebpb",
40            "fat32_ebpb",
41            "fat_bpb",
42            "fat_direntry",
43            "gic_v3_dist",
44            "gic_v3_redist",
45            "gic_v2_cpu",
46            "hpet",
47            "ia32",
48            "ixp2800_icp_pic0",
49            "ixp2800_icp_pit",
50            "ixp2800_uart",
51            "lpc_bridge",
52            "lpc_dma",
53            "lpc_kbd",
54            "lpc_pic",
55            "lpc_pci_config",
56            "lpc_rtc",
57            "lpc_rtc_spaces",
58            "msix",
59            "msix_e1000",
60            "ohci",
61            "pc16550d",
62            "rtl8029as",
63            "tulip",
64            "uhci",
65            "xapic",
66            "x2apic",
67            "amd64",
68            "pl390_gic_dist",
69            "pl390_gic_cpuif",
70            "pl011_uart",
71            "lpuart",
72            "rpi3_miniuart",
73            "sp804_pit",
74            "cortex_a9_pit",
75            "cortex_a9_gt",
76            "cortex_a9_scu",
77            "ti_i2c",
78            "ti_twl6030",
79            "sdhc",
80            "apm88xxxx/apm88xxxx_pc16550",
81            "armv8/armv8_cache_ctrl",
82            "omap/ehci",
83            "omap/ohci",
84            "omap/omap_uart",
85            "omap/omap44xx_boot",
86            "omap/omap44xx_cam_cm2",
87            "omap/omap44xx_cam_prm",
88            "omap/omap44xx_ckgen_cm1",
89            "omap/omap44xx_ckgen_cm2",
90            "omap/omap44xx_ckgen_prm",
91            "omap/omap44xx_cortexa9_wugen",
92            "omap/omap44xx_cortex_m3_nvic",
93            "omap/omap44xx_ctrlmod",
94            "omap/omap44xx_device_prm",
95            "omap/omap44xx_ehci",
96            "omap/omap44xx_emif",
97            "omap/omap44xx_fdif",
98            "omap/omap44xx_gpio",
99            "omap/omap44xx_hsusbhost",
100            "omap/omap44xx_id",
101            "omap/omap44xx_l3init_cm2",
102            "omap/omap44xx_l4per_cm2",
103            "omap/omap44xx_mmchs",
104            "omap/omap44xx_mmchs1",
105            "omap/omap44xx_mmu",
106            "omap/omap44xx_scrm",
107            "omap/omap44xx_sdma",
108            "omap/omap44xx_spinlock",
109            "omap/omap44xx_sysctrl_padconf_core",
110            "omap/omap44xx_sysctrl_padconf_wkup",
111            "omap/omap44xx_usbconf",
112            "omap/omap44xx_usbtllhs_config",
113            "omap/omap44xx_uart3",
114            "virtio/virtio_blk",
115            "virtio/virtio_mmio",
116            "virtio/virtio_pci",
117            "virtio/virtio_io",
118            "xeon_phi/xeon_phi_serial",
119            "xeon_phi/xeon_phi_boot",
120            "xeon_phi/xeon_phi_apic",
121            "xeon_phi/xeon_phi_smpt",
122            "xeon_phi/xeon_phi_irq",
123            "xeon_phi/xeon_phi_dma",
124            "xeon_phi/xeon_phi_dma_chan",
125            "ioat_dma",
126            "ioat_dma_chan",
127            "pci_sr_iov_cap",
128            "pci_msix_cap",
129            "pci_e1000_msix_cap",
130            "megaraid",
131            "vtd",
132            "zynq7/zynq_uart",
133            "zynq7/zynq_slcr",
134            "sfn5122f",
135            "sfn5122f_q"
136          ], arch <- allArchitectures
137 ] ++
138
139 -- Mackerel 1 device descriptions
140 --
141 -- DO NOT add new devices to this list - the interface is non-portable
142 -- and liable to break with new C compiler versions!
143 --
144 [ mackerel (options arch) f
145   | f <- [ "amd_vmcb",
146            "arm_icp_pic0",
147            "arm_icp_pit",
148            "cpuid",
149            "ht_config",
150            "lpc_ioapic",
151            "lpc_timer",
152            "pc16550d_mem",
153            "pci_hdr0",
154            "pci_hdr0_mem",
155            "pci_hdr1"
156          ], arch <- allArchitectures
157 ]