harness: machines: define custom buildall targets for armv7/armv8 machines
[barrelfish] / tools / harness / machines / uw_machinedata.py
1 ##########################################################################
2 # Copyright (c) 2013, 2014, University of Washington.
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
10 machines = {
11     'bigfish': {'ncores'      : 64,
12                 'machine_name' : 'bigfish',
13                 'bootarch' : 'x86_64',
14                 'buildarchs' : ['x86_64', 'x86_32'],
15                 'cores_per_socket': 12,
16                 'perfcount_type': 'amd10',
17                 'tickrate'    : 1600,
18                 'boot_timeout': 360,
19                 'kernel_args' : ['serial=0x2f8']},
20     'bigfish-32': {'ncores'      : 64,
21                    'machine_name' : 'bigfish',
22                    'bootarch' : 'x86_32',
23                    'buildarchs' : ['x86_64', 'x86_32'],
24                    'cores_per_socket': 12,
25                    'perfcount_type': 'amd10',
26                    'tickrate'    : 1600,
27                    'boot_timeout': 360,
28                    'kernel_args' : ['serial=0x2f8']},
29     'swingout1': {'ncores'      : 6,
30                 'machine_name' : 'swingout1',
31                 'bootarch' : 'x86_64',
32                 'buildarchs' : ['x86_64', 'x86_32'],
33                 'cores_per_socket': 6,
34                 'perfcount_type': 'intel',
35                 'tickrate'    : 2200,
36                 'boot_timeout': 360,
37                 'kernel_args' : ['serial=0x2f8'],
38                 'pci_args' : ['skb_bridge_program=bridge_bios', 'numvfs=0']},
39     'swingout1-32': {'ncores'      : 6,
40                    'machine_name' : 'swingout1',
41                    'bootarch' : 'x86_32',
42                    'buildarchs' : ['x86_64', 'x86_32'],
43                    'cores_per_socket': 6,
44                    'perfcount_type': 'intel',
45                    'tickrate'    : 2200,
46                    'boot_timeout': 360,
47                    'kernel_args' : ['serial=0x2f8'],
48                 'pci_args' : ['skb_bridge_program=bridge_bios', 'numvfs=0']},
49     'swingout5': {'ncores'      : 6,
50                 'machine_name' : 'swingout5',
51                 'bootarch' : 'x86_64',
52                 'buildarchs' : ['x86_64', 'x86_32'],
53                 'cores_per_socket': 6,
54                 'perfcount_type': 'intel',
55                 'tickrate'    : 2200,
56                 'boot_timeout': 360,
57                 'kernel_args' : ['serial=0x2f8'],
58                 'pci_args' : ['skb_bridge_program=bridge_bios', 'numvfs=0']},
59     'swingout5-32': {'ncores'      : 6,
60                    'machine_name' : 'swingout5',
61                    'bootarch' : 'x86_32',
62                    'buildarchs' : ['x86_64', 'x86_32'],
63                    'cores_per_socket': 6,
64                    'perfcount_type': 'intel',
65                    'tickrate'    : 2200,
66                    'boot_timeout': 360,
67                    'kernel_args' : ['serial=0x2f8'],
68                    'pci_args' : ['skb_bridge_program=bridge_bios', 'numvfs=0']}
69     }