harness: machines: define custom buildall targets for armv7/armv8 machines
[barrelfish] / tools / harness / machines / msrc_machinedata.py
1 ##########################################################################
2 # Copyright (c) 2009, 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
10 machines = {
11     'barrelfish-5': {'ncores'      : 16,
12                      'machine_name' : 'barrelfish-5',
13                      'bootarch' : 'x86_64',
14                      'buildarchs' : ['x86_64', 'x86_32'],
15                      'cores_per_socket': 4,
16                      'perfcount_type': 'amd10',
17                      'tickrate'    : 2500},
18     'barrelfish-6': {'ncores'      : 16,
19                      'machine_name' : 'barrelfish-6',
20                      'bootarch' : 'x86_64',                        
21                      'buildarchs' : ['x86_64', 'x86_32'],
22                      'cores_per_socket': 4,
23                      'perfcount_type': 'amd10',
24                      'tickrate'    : 2500},
25
26     'barrelfish-5-32': {'ncores'      : 16,
27                         'machine_name' : 'barrelfish-5',
28                         'bootarch' : 'x86_32',
29                         'buildarchs' : ['x86_64', 'x86_32'],
30                         'cores_per_socket': 4,
31                         'perfcount_type': 'amd10',
32                         'tickrate'    : 2500},
33     'barrelfish-6-32': {'ncores'      : 16,
34                         'machine_name' : 'barrelfish-6',
35                         'bootarch' : 'x86_32',                        
36                         'buildarchs' : ['x86_64', 'x86_32'],
37                         'cores_per_socket': 4,
38                         'perfcount_type': 'amd10',
39                         'tickrate'    : 2500},
40     }