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 "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 "pl130_gic", 69 "pl011_uart", 70 "sp804_pit", 71 "cortex_a9_pit", 72 "cortex_a9_gt", 73 "cortex_a9_scu", 74 "ti_i2c", 75 "ti_twl6030", 76 "sdhc", 77 "apm88xxxx/apm88xxxx_pc16550", 78 "armv8/armv8_cache_ctrl", 79 "omap/ehci", 80 "omap/ohci", 81 "omap/omap_uart", 82 "omap/omap44xx_boot", 83 "omap/omap44xx_cam_cm2", 84 "omap/omap44xx_cam_prm", 85 "omap/omap44xx_ckgen_cm1", 86 "omap/omap44xx_ckgen_cm2", 87 "omap/omap44xx_ckgen_prm", 88 "omap/omap44xx_cortexa9_wugen", 89 "omap/omap44xx_cortex_m3_nvic", 90 "omap/omap44xx_ctrlmod", 91 "omap/omap44xx_device_prm", 92 "omap/omap44xx_ehci", 93 "omap/omap44xx_emif", 94 "omap/omap44xx_fdif", 95 "omap/omap44xx_gpio", 96 "omap/omap44xx_hsusbhost", 97 "omap/omap44xx_id", 98 "omap/omap44xx_l3init_cm2", 99 "omap/omap44xx_l4per_cm2", 100 "omap/omap44xx_mmchs", 101 "omap/omap44xx_mmchs1", 102 "omap/omap44xx_mmu", 103 "omap/omap44xx_scrm", 104 "omap/omap44xx_sdma", 105 "omap/omap44xx_spinlock", 106 "omap/omap44xx_sysctrl_padconf_core", 107 "omap/omap44xx_sysctrl_padconf_wkup", 108 "omap/omap44xx_usbconf", 109 "omap/omap44xx_usbtllhs_config", 110 "omap/omap44xx_uart3", 111 "virtio/virtio_blk", 112 "virtio/virtio_mmio", 113 "virtio/virtio_pci", 114 "virtio/virtio_io", 115 "xeon_phi/xeon_phi_serial", 116 "xeon_phi/xeon_phi_boot", 117 "xeon_phi/xeon_phi_apic", 118 "xeon_phi/xeon_phi_smpt", 119 "xeon_phi/xeon_phi_irq", 120 "xeon_phi/xeon_phi_dma", 121 "xeon_phi/xeon_phi_dma_chan", 122 "ioat_dma", 123 "ioat_dma_chan", 124 "pci_sr_iov_cap", 125 "pci_msix_cap", 126 "pci_e1000_msix_cap", 127 "megaraid", 128 "vtd", 129 "vtd_iotlb", 130 "zynq7/zynq_uart", 131 "zynq7/zynq_slcr", 132 "sfn5122f", 133 "sfn5122f_q" 134 ], arch <- allArchitectures 135] ++ 136 137-- Mackerel 1 device descriptions 138-- 139-- DO NOT add new devices to this list - the interface is non-portable 140-- and liable to break with new C compiler versions! 141-- 142[ mackerel (options arch) f 143 | f <- [ "amd_vmcb", 144 "arm_icp_pic0", 145 "arm_icp_pit", 146 "cpuid", 147 "ht_config", 148 "lpc_ioapic", 149 "lpc_timer", 150 "pc16550d_mem", 151 "pci_hdr0", 152 "pci_hdr0_mem", 153 "pci_hdr1" 154 ], arch <- allArchitectures 155] 156