3ae4ae964cfb0598c9398317334f891c5f221485
[barrelfish] / tools / harness / machines / eth_machinedata.py
1 ##########################################################################
2 # Copyright (c) 2009, 2016, 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, Universitaetstr 6, CH-8092 Zurich. Attn: Systems Group.
8 ##########################################################################
9
10 machines = dict({
11     'nos4'   : {'ncores'      : 4,
12                 'machine_name' : 'nos4',
13                 'bootarch' : 'x86_64',
14                 'buildarchs' : ['x86_64'],
15                 'cores_per_socket': 2,
16                 'perfcount_type': 'amd0f',
17                 'tickrate'    : 2800},
18     'nos5'   : {'ncores'      : 4,
19                 'machine_name' : 'nos5',
20                 'bootarch' : 'x86_64',
21                 'buildarchs' : ['x86_64'],
22                 'cores_per_socket': 2,
23                 'perfcount_type': 'amd0f',
24                 'tickrate'    : 2800},
25     'nos6'   : {'ncores'      : 4,
26                 'machine_name' : 'nos6',
27                 'bootarch' : 'x86_64',
28                 'buildarchs' : ['x86_64'],
29                 'cores_per_socket': 2,
30                 'perfcount_type': 'amd0f',
31                 'tickrate'    : 2800},
32
33     'sbrinz1': {'ncores'      : 16,
34                 'machine_name' : 'sbrinz1',
35                 'bootarch' : 'x86_64',
36                 'buildarchs' : ['x86_64'],
37                 'cores_per_socket': 4,
38                 'perfcount_type': 'amd10',
39                 'tickrate'    : 2500,
40                 'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
41                 },
42     'sbrinz2': {'ncores'      : 16,
43                 'machine_name' : 'sbrinz2',
44                 'bootarch' : 'x86_64',
45                 'buildarchs' : ['x86_64'],
46                 'cores_per_socket': 4,
47                 'perfcount_type': 'amd10',
48                 'tickrate'    : 2500,
49                 'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
50                 },
51
52     'gruyere': {'ncores'      : 32,
53                 'machine_name' : 'gruyere',
54                 'bootarch' : 'x86_64',
55                 'buildarchs' : ['x86_64'],
56                 'cores_per_socket': 4,
57                 'perfcount_type': 'amd10',
58                 'tickrate'    : 2000,
59                 'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
60                 },
61
62     'ziger1':  {'ncores'      : 24,
63                 'machine_name' : 'ziger1',
64                 'bootarch' : 'x86_64',
65                 'buildarchs' : ['x86_64'],
66                 'cores_per_socket': 6,
67                 'perfcount_type': 'amd10',
68                 'tickrate'    : 2400.367},
69     'ziger2':  {'ncores'      : 24,
70                 'machine_name' : 'ziger2',
71                 'bootarch' : 'x86_64',
72                 'buildarchs' : ['x86_64'],
73                 'cores_per_socket': 6,
74                 'perfcount_type': 'amd10',
75                 'tickrate'    : 2400.367},
76
77     'tomme1':  {'ncores'      : 16,
78                 'machine_name' : 'tomme1',
79                 'bootarch' : 'x86_64',
80                 'buildarchs' : ['x86_64'],
81                 'cores_per_socket': 8,
82                 'perfcount_type': 'intel',
83                 'tickrate'    : 2270,
84                 'boot_timeout': 360,
85                 'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
86                 'kernel_args' : ['serial=0x2f8']},
87     'tomme2':  {'ncores'      : 16,
88                 'machine_name' : 'tomme2',
89                 'bootarch' : 'x86_64',
90                 'buildarchs' : ['x86_64'],
91                 'cores_per_socket': 8,
92                 'perfcount_type': 'intel',
93                 'tickrate'    : 2270,
94                 'boot_timeout': 360,
95                 'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
96                 'kernel_args' : ['serial=0x2f8']},
97
98     'vacherin':{'ncores'      : 4,
99                 'machine_name' : 'vacherin',
100                 'bootarch' : 'x86_64',
101                 'buildarchs' : ['x86_64'],
102                 'cores_per_socket': 4,
103                 'perfcount_type': 'intel',
104                 'tickrate'    : 3400,
105                 'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
106                 },
107
108     'appenzeller': {'ncores'      : 48,
109                     'machine_name' : 'appenzeller',
110                     'bootarch' : 'x86_64',
111                     'buildarchs' : ['x86_64'],
112                     'cores_per_socket': 12,
113                     'perfcount_type': 'amd10',
114                     'tickrate'    : 2200,
115                     'boot_timeout': 360,
116                     'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
117                     },
118
119     'gottardo': {'ncores'      : 32,
120                  'machine_name' : 'gottardo',
121                  'bootarch' : 'x86_64',
122                  'buildarchs' : ['x86_64'],
123                  'cores_per_socket': 16,
124                  'perfcount_type': 'intel',
125                  'tickrate'    : 1870,
126                  'boot_timeout': 360},
127
128     'babybel1': {'ncores'          : 20,
129                 'machine_name'    : 'babybel1',
130                 'bootarch'        : 'x86_64',
131                 'buildarchs'      : ['x86_64', 'k1om'],
132                 'cores_per_socket': 10,
133                 'perfcount_type'  : 'intel',
134                 'tickrate'        : 2500,
135                 'boot_timeout'    : 360,
136                 'xphi_ncores'     : 57,
137                 'xphi_ncards'     : 2,
138                 'xphi_tickrate'   : 1140,
139                 'xphi_ram_gb'     : 6,
140                 'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
141                 'eth0'            : (4, 0, 0),
142                 },
143
144     'babybel2': {'ncores'          : 20,
145                 'machine_name'    : 'babybel2',
146                 'bootarch'        : 'x86_64',
147                 'buildarchs'      : ['x86_64', 'k1om'],
148                 'cores_per_socket': 10,
149                 'perfcount_type'  : 'intel',
150                 'tickrate'        : 2500,
151                 'boot_timeout'    : 360,
152                 'xphi_ncores'     : 57,
153                 'xphi_ncards'     : 2,
154                 'xphi_tickrate'   : 1140,
155                 'xphi_ram_gb'     : 6,
156                 'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
157                 'eth0'            : (4, 0, 0),
158                 },
159
160     'babybel3': {'ncores'          : 20,
161                 'machine_name'    : 'babybel3',
162                 'bootarch'        : 'x86_64',
163                 'buildarchs'      : ['x86_64', 'k1om'],
164                 'cores_per_socket': 10,
165                 'perfcount_type'  : 'intel',
166                 'tickrate'        : 2500,
167                 'boot_timeout'    : 360,
168                 'xphi_ncores'     : 57,
169                 'xphi_ncards'     : 2,
170                 'xphi_tickrate'   : 1140,
171                 'xphi_ram_gb'     : 6,
172                 'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
173                 'eth0'            : (4, 0, 0),
174                 },
175
176     'babybel4': {'ncores'          : 20,
177                 'machine_name'    : 'babybel4',
178                 'bootarch'        : 'x86_64',
179                 'buildarchs'      : ['x86_64', 'k1om'],
180                 'cores_per_socket': 10,
181                 'perfcount_type'  : 'intel',
182                 'tickrate'        : 2500,
183                 'boot_timeout'    : 360,
184                 'xphi_ncores'     : 57,
185                 'xphi_ncards'     : 2,
186                 'xphi_tickrate'   : 1140,
187                 'xphi_ram_gb'     : 6,
188                 'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
189                 'eth0'            : (4, 0, 0),
190                 },
191
192    'tilsiter1': {'ncores'          : 2,
193                  'machine_name'    : 'tilsiter1',
194                  'bootarch'        : 'x86_64',
195                  'buildarchs'      : ['x86_64'],
196                  'cores_per_socket': 2,
197                  'perfcount_type'  : 'intel',
198                  'tickrate'        : 2500,
199                  'boot_timeout'    : 120,
200                  'pci_args'        : [ "skb_bridge_program=bridge_bios" ],
201                  },
202
203     'nos4-32'   : {'ncores'      : 4,
204                    'machine_name' : 'nos4',
205                    'bootarch' : 'x86_32',
206                    'buildarchs' : ['x86_64', 'x86_32'],
207                    'cores_per_socket': 2,
208                    'perfcount_type': 'amd0f',
209                    'tickrate'    : 2800},
210     'nos5-32'   : {'ncores'      : 4,
211                    'machine_name' : 'nos5',
212                    'bootarch' : 'x86_32',
213                    'buildarchs' : ['x86_64', 'x86_32'],
214                    'cores_per_socket': 2,
215                    'perfcount_type': 'amd0f',
216                    'tickrate'    : 2800},
217     'nos6-32'   : {'ncores'      : 4,
218                    'machine_name' : 'nos6',
219                    'bootarch' : 'x86_32',
220                    'buildarchs' : ['x86_64', 'x86_32'],
221                    'cores_per_socket': 2,
222                    'perfcount_type': 'amd0f',
223                    'tickrate'    : 2800},
224
225     'sbrinz1-32': {'ncores'      : 16,
226                    'machine_name' : 'sbrinz1',
227                    'bootarch' : 'x86_32',
228                    'buildarchs' : ['x86_64', 'x86_32'],
229                    'cores_per_socket': 4,
230                    'perfcount_type': 'amd10',
231                    'tickrate'    : 2500},
232     'sbrinz2-32': {'ncores'      : 16,
233                    'machine_name' : 'sbrinz2',
234                    'bootarch' : 'x86_32',
235                    'buildarchs' : ['x86_64', 'x86_32'],
236                    'cores_per_socket': 4,
237                    'perfcount_type': 'amd10',
238                    'tickrate'    : 2500},
239
240     'gruyere-32': {'ncores'      : 32,
241                    'machine_name' : 'gruyere',
242                    'bootarch' : 'x86_32',
243                    'buildarchs' : ['x86_64', 'x86_32'],
244                    'cores_per_socket': 4,
245                    'perfcount_type': 'amd10',
246                    'tickrate'    : 2000},
247
248     'ziger1-32':  {'ncores'      : 24,
249                    'machine_name' : 'ziger1',
250                    'bootarch' : 'x86_32',
251                    'buildarchs' : ['x86_64', 'x86_32'],
252                    'cores_per_socket': 6,
253                    'perfcount_type': 'amd10',
254                    'tickrate'    : 2400.367},
255     'ziger2-32':  {'ncores'      : 24,
256                    'machine_name' : 'ziger2',
257                    'bootarch' : 'x86_32',
258                    'buildarchs' : ['x86_64', 'x86_32'],
259                    'cores_per_socket': 6,
260                    'perfcount_type': 'amd10',
261                    'tickrate'    : 2400.367},
262
263     'tomme1-32':  {'ncores'      : 16,
264                    'machine_name' : 'tomme1',
265                    'bootarch' : 'x86_32',
266                    'buildarchs' : ['x86_64', 'x86_32'],
267                    'cores_per_socket': 8,
268                    'perfcount_type': 'intel',
269                    'tickrate'    : 2270,
270                    'boot_timeout': 360,
271                    'kernel_args' : ['serial=0x2f8']},
272     'tomme2-32':  {'ncores'      : 16,
273                    'machine_name' : 'tomme2',
274                    'bootarch' : 'x86_32',
275                    'buildarchs' : ['x86_64', 'x86_32'],
276                    'cores_per_socket': 8,
277                    'perfcount_type': 'intel',
278                    'tickrate'    : 2270,
279                    'boot_timeout': 360,
280                    'kernel_args' : ['serial=0x2f8']},
281
282     'appenzeller-32': {'ncores'      : 48,
283                        'machine_name' : 'appenzeller',
284                        'bootarch' : 'x86_32',
285                        'buildarchs' : ['x86_64', 'x86_32'],
286                        'cores_per_socket': 12,
287                        'perfcount_type': 'amd10',
288                        'tickrate'    : 2200,
289                        'boot_timeout': 360},
290
291     'gottardo-32': {'ncores'      : 32,
292                     'machine_name' : 'gottardo',
293                     'bootarch' : 'x86_32',
294                     'buildarchs' : ['x86_64', 'x86_32'],
295                     'cores_per_socket': 16,
296                     'perfcount_type': 'intel',
297                     'tickrate'    : 1870,
298                     'boot_timeout': 360},
299
300     'vacherin-32': {'ncores'      : 4,
301                 'machine_name' : 'vacherin',
302                 'bootarch' : 'x86_32',
303                 'buildarchs' : ['x86_64', 'x86_32'],
304                 'cores_per_socket': 4,
305                 'perfcount_type': 'intel',
306                 'tickrate'    : 3400},
307
308     'babybel1-32': {'ncores'          : 20,
309                 'machine_name'    : 'babybel1',
310                 'bootarch'        : 'x86_32',
311                 'buildarchs'      : ['x86_64', 'x86_32'],
312                 'cores_per_socket': 10,
313                 'perfcount_type'  : 'intel',
314                 'tickrate'        : 2500,
315                 'boot_timeout'    : 360},
316
317     'babybel2-32': {'ncores'          : 20,
318                 'machine_name'    : 'babybel2',
319                 'bootarch'        : 'x86_32',
320                 'buildarchs'      : ['x86_64', 'x86_32'],
321                 'cores_per_socket': 10,
322                 'perfcount_type'  : 'intel',
323                 'tickrate'        : 2500,
324                 'boot_timeout'    : 360},
325
326     'babybel3-32': {'ncores'          : 20,
327                    'machine_name'    : 'babybel3',
328                    'bootarch'        : 'x86_32',
329                    'buildarchs'      : ['x86_64', 'x86_32'],
330                    'cores_per_socket': 10,
331                    'perfcount_type'  : 'intel',
332                    'tickrate'        : 2500,
333                    'boot_timeout'    : 360},
334     'babybel4-32': {'ncores'          : 20,
335                    'machine_name'    : 'babybel4',
336                    'bootarch'        : 'x86_32',
337                    'buildarchs'      : ['x86_64', 'x86_32'],
338                    'cores_per_socket': 10,
339                    'perfcount_type'  : 'intel',
340                    'tickrate'        : 2500,
341                    'boot_timeout'    : 360},
342     'xeon_phi_1': {'ncores'          : 64,
343                    'nphi'            : 2,
344                    'host_ncores'     : 20,
345                    'machine_name'    : 'babybel1',
346                    'bootarch'        : 'x86_64',
347                    'buildarchs'      : ['k1om', 'x86_64'],
348                    'cores_per_socket': 10,
349                    'perfcount_type'  : 'intel',
350                    'tickrate'        : 1140,
351                    'host_tickrate'   : 2500,
352                    'boot_timeout'    : 360},
353     'xeon_phi_2': {'ncores'          : 64,
354                    'nphi'            : 2,
355                    'host_ncores'     : 20,
356                    'machine_name'    : 'babybel2',
357                    'bootarch'        : 'x86_64',
358                    'buildarchs'      : ['k1om', 'x86_64'],
359                    'cores_per_socket': 10,
360                    'perfcount_type'  : 'intel',
361                    'tickrate'        : 1140,
362                    'host_tickrate'   : 2500,
363                    'boot_timeout'    : 360},
364     'xeon_phi_3': {'ncores'          : 64,
365                    'nphi'            : 2,
366                    'host_ncores'     : 20,
367                    'machine_name'    : 'babybel3',
368                    'bootarch'        : 'x86_64',
369                    'buildarchs'      : ['k1om', 'x86_64'],
370                    'cores_per_socket': 10,
371                    'perfcount_type'  : 'intel',
372                    'tickrate'        : 1140,
373                    'host_tickrate'   : 2500,
374                    'boot_timeout'    : 360},
375     'xeon_phi_4': {'ncores'          : 64,
376                    'nphi'            : 2,
377                    'host_ncores'     : 20,
378                    'machine_name'    : 'babybel4',
379                    'bootarch'        : 'x86_64',
380                    'buildarchs'      : ['k1om', 'x86_64'],
381                    'cores_per_socket': 10,
382                    'perfcount_type'  : 'intel',
383                    'tickrate'        : 1140,
384                    'host_tickrate'   : 2500,
385                    'boot_timeout'    : 360},
386
387     'danablu1': {'ncores'      : 8,
388                  'machine_name' : 'danablu1',
389                  'bootarch' : 'armv8',
390                  'buildarchs' : ['armv8'],
391                  'cores_per_socket': 8,
392                  'perfcount_type': 'arm',
393                  'tickrate'    : 2400,
394                  'boot_timeout': 360,
395                  'platform': 'apm88xxxx',
396                  'serial_binary': 'serial_kernel',
397                  'boot_driver' : 'boot_armv8_generic'},
398
399     'gorgonzola1': {'ncores'      : 48,
400                     'machine_name' : 'gorgonzola1',
401                     'bootarch' : 'armv8',
402                     'buildarchs' : ['armv8'],
403                     'cores_per_socket': 48,
404                     'perfcount_type': 'arm',
405                     'tickrate'    : 1950,
406                     'boot_timeout': 360,
407                     'platform': 'cn88xx',
408                     'serial_binary': 'serial_kernel',
409                     'boot_driver' : 'boot_armv8_generic'},
410     'gorgonzola2': {'ncores'      : 48,
411                     'machine_name' : 'gorgonzola2',
412                     'bootarch' : 'armv8',
413                     'buildarchs' : ['armv8'],
414                     'cores_per_socket': 48,
415                     'perfcount_type': 'arm',
416                     'tickrate'    : 1950,
417                     'boot_timeout': 360,
418                     'platform': 'cn88xx',
419                     'serial_binary': 'serial_kernel',
420                     'boot_driver' : 'boot_armv8_generic'},
421     'roquefort':    {'ncores'      : 96,
422                      'machine_name' : 'roquefort',
423                      'bootarch' : 'armv8',
424                      'buildarchs' : ['armv8'],
425                      'cores_per_socket': 48,
426                      'perfcount_type': 'arm',
427                      'tickrate'    : 1950,
428                      'boot_timeout': 720,
429                      'platform': 'cn88xx',
430                      'serial_binary': 'serial_kernel',
431                      'boot_driver' : 'boot_armv8_generic'},
432
433
434     # SK: For Python 2.7
435     # }.items() + {
436     #     'brie%s' % b: {
437     #         'ncores' : 4,
438     #         'machine_name' : ('brie%s' % b),
439     #         'bootarch' : 'x86_64',
440     #         'buildarchs' : ['x86_64', 'x86_32'],
441     #         'cores_per_socket' : 2,
442     #         'tickrate' : 2193,
443     #         'boot_timeout' : 360,
444     #         } for b in range(1, 17) if b != 11 }.items()
445
446     # SK: For Python 2.6, which is what the current toolchain is ATM
447     }.items() +
448         dict(('brie%s' % b, {
449                 'ncores' : 4,
450                 'machine_name' : ('brie%s' % b),
451                 'bootarch' : 'x86_64',
452                 'buildarchs' : ['x86_64'],
453                 'cores_per_socket' : 2,
454                 'tickrate' : 2193,
455                 'perfcount_type': 'amd0f',
456                 'boot_timeout' : 360,
457                 }) for b in range(1, 17) if b != 11
458         ).items() +
459         dict(('brie%s-32' % b, {
460                 'ncores' : 4,
461                 'machine_name' : ('brie%s' % b),
462                 'bootarch' : 'x86_32',
463                 'buildarchs' : ['x86_64', 'x86_32'],
464                 'cores_per_socket' : 2,
465                 'tickrate' : 2193,
466                 'perfcount_type': 'amd0f',
467                 'boot_timeout' : 360,
468                 }) for b in range(1, 17) if b != 11
469         ).items()
470 )
471
472 pandaboards = dict({
473     'panda1':     {'ncores'          : 2,
474                    'nphi'            : 0,
475                    'host_ncores'     : 20,
476                    'machine_name'    : 'panda1',
477                    'bootarch'        : 'armv7',
478                    'platform'        : 'omap44xx',
479                    'buildarchs'      : ['armv7'],
480                    'cores_per_socket': 2,
481                    'perfcount_type'  : 'arm',
482                    'tickrate'        : 1000, # XXX ?
483                    'host_tickrate'   : 2500,
484                    'boot_timeout'    : 360},
485     'panda2':     {'ncores'          : 2,
486                    'nphi'            : 0,
487                    'host_ncores'     : 20,
488                    'machine_name'    : 'panda2',
489                    'bootarch'        : 'armv7',
490                    'platform'        : 'omap44xx',
491                    'buildarchs'      : ['armv7'],
492                    'cores_per_socket': 2,
493                    'perfcount_type'  : 'arm',
494                    'tickrate'        : 1000, # XXX ?
495                    'host_tickrate'   : 2500,
496                    'boot_timeout'    : 360},
497     'panda3':     {'ncores'          : 2,
498                    'nphi'            : 0,
499                    'host_ncores'     : 20,
500                    'machine_name'    : 'panda3',
501                    'bootarch'        : 'armv7',
502                    'platform'        : 'omap44xx',
503                    'buildarchs'      : ['armv7'],
504                    'cores_per_socket': 2,
505                    'perfcount_type'  : 'arm',
506                    'tickrate'        : 1000, # XXX ?
507                    'host_tickrate'   : 2500,
508                    'boot_timeout'    : 360},
509 })