xref: /freebsd-12.1/sys/arm/conf/genboardid.awk (revision 80d19ff4)
1#!/bin/awk
2# $FreeBSD$
3
4#-
5# SPDX-License-Identifier: BSD-2-Clause-FreeBSD
6#
7# Copyright (c) 2012 M. Warner Losh.
8#
9# Redistribution and use in source and binary forms, with or without
10# modification, are permitted provided that the following conditions
11# are met:
12# 1. Redistributions of source code must retain the above copyright
13#    notice, this list of conditions and the following disclaimer.
14# 2. Redistributions in binary form must reproduce the above copyright
15#    notice, this list of conditions and the following disclaimer in the
16#    documentation and/or other materials provided with the distribution.
17#
18# THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20# IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21# ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24# OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25# HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27# OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28# SUCH DAMAGE.
29#
30
31#
32# Generate FreeBSD's board ID's defines from Linux's
33# arm board list.
34#
35# You can grab a new copy any time with:
36# fetch -o sys/arm/conf/mach-types http://www.arm.linux.org.uk/developer/machines/download.php
37#
38BEGIN	{ nr = 0; boardid[nr] = "ARM_BOARD_ID_NONE"; num[nr++] = 0; }
39/^#/	{ next; }
40/^[     ]*$/ { next; }
41
42NF == 4 {
43    boardid[nr] = "ARM_BOARD_ID_"$3;
44    num[nr] = $4;
45    nr++
46}
47
48END	{
49    printf("/* Arm board ID file generated automatically from Linux's mach-types file. */\n\n");
50    printf("#ifndef _SYS_ARM_ARM_BOARDID_H\n");
51    printf("#define _SYS_ARM_ARM_BOARDID_H\n\n");
52    for (i = 0; i < nr; i++) {
53        printf("#define %-30s %d\n", boardid[i], num[i]);
54    }
55    printf("\n#endif /* _SYS_ARM_ARM_BOARDID_H */\n");
56}
57
58