falbala		200 MHz Intel Pentium Pro
brewer		133 MHz Intel Pentium
sen9		167 MHz SPARCstation Ultra-1
bahia		233 MHz Alpha DECstation
omega		? MHz MIPS SGI O2
myst8		75 MHz HP 9000/715
powerfix	80 MHz PowerPC 601
joltfix		? Mhz PowerPC 604
