| Name | Type (OS,Processor,Memory) | Location/User | Note |
| aemilia | Linux/x86_64 Quad-core 2.2 Ghz Xeon, 6GB RAM Dual Screens |
7360 welton |
CSL Supported |
| antonio | Windows | 7355 bernat |
CSL Supported Private |
| bleu |
Linux/x86 Intel CoreDuo, 3GHz, 4GB RAM DVI, 2 Ports, Dual 22-inch Screens |
7364 |
CSL Supported Linux/x86 build machine |
| bruckner | Linux/ppc
Dual POWER4 1200 MHz, 2 GB |
CSL Lab | Uses mahler for console |
| coriander | Linux/x86_64 Quad-core 2.2 Ghz Xeon, 6GB RAM 30-inch screen |
7351 xmeng |
CSL Supported |
| cream | Linux/x86_64 Quad-core 2.83 Ghz Core2, 8GB RAM |
7363 bart |
CSL Supported Private |
| cumin | Linux/x86_64 Quad-core 2.2 Ghz Xeon, 6GB RAM |
7355 bernat |
CSL Supported |
| feta | Linux/x86_64 Quad-core 2.83 Ghz Core2, 8GB RAM |
7358 salini |
CSL Supported |
| follis | Linux/x86_64 Quad-core 2.2 Ghz Xeon, 6GB RAM |
7351 bill |
CSL Supported Linux/x86-64 build machine |
| gouda | Linux/x86_64 Quad-core 2.83 Ghz Core2, 8GB RAM 30-inch screen |
7358 jacobson |
CSL Supported |
| grilled | Linux/x86_64 Quad-core 2.2 Ghz Xeon, 6GB RAM Dual screens |
7352 wenbin |
CSL Supported |
| medusa | Windows Pentium IV 1.6 GHz, 1 GB VGA, 20.1-inch Screen |
7364 thuhale |
CSL Supported Private |
| oven1 | Linux/x86 Dual AMD Opteron 2.2 GHz, 4 GB |
7351 | CSL Unsup Not in use |
| paradyn-bench (formerly oven2) |
7358 | CSL Unsup Not in use |
|
| polito | AIX 5.3
AIX/POWER64 |
CSL Lab | AIX Build machine |
| saffron | Windows/x86 AMD64 Dual-Core 2GHz, 2 GB |
7351 bill |
CSL Supported Windows build machine |
| shemesh | Solaris 8 Sun Fire 880, Dual UltraSPARC-III 750 MHz, 4 GB |
CSL Lab |
CSL Supported |
| wasabi | Linux/x86_64 Quad-core 2.83 Ghz Core2, 8GB RAM |
7355 |
CSL Supported FreeBSD build machine |
| wotan | Linux/x64_64 Quad-core 2.2 Ghz Xeon, 6GB RAM Dual screens |
7360 samanas |
CSL Supported |