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
10machines = {
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    }
41