On 2012-07-26 09:33 , Richard Miller wrote:

We've got some budget left for hardware, so I'm looking for a server
suitable for running Plan 9, preferably as good as I can get for about
$3000-5000.

You could build a 140-processor raspberry pi cluster for $4900, leaving
$100 in the budget for power supply (490 watts) and wiring.

Have to wait a few months for delivery though.

And reserve same amount in $5K to have 140 ethernet ports switch ;)