1--------------------------------------------------------------------------
2-- Copyright (c) 2017, 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, Universitaetstrasse 6, CH-8092 Zurich,
8-- Attn: Systems Group.
9--
10-- Hakefile for schema/
11--
12--------------------------------------------------------------------------
13
14-- whereas these are using the new-style bindings
15[ skateGenSchemas (options arch) f | f <- [ 
16          "acpimadt",
17          "pci",
18          "cpuid"
19     ],
20     arch <- allArchitectures
21] 
22