I'd love to see some benchmarks if anyone actually does.

If someone uses Minix in production, they most likely do so because they care about reliability above all else.

http://wiki.minix3.org/FAQ#What_is_the_performance_of_MINIX_...

No. If they cared above reliability above all else, they'd be more likely to use something like HP's nonstop systems, which are from their Compaq purchase, where were from Tandem. You can hotswap the motherboards of those things with 0 downtime.

They run the backend of much of the airline industry (former delta employee).

Edit:

Links with more information for those not aware of these behemoths:

http://en.wikipedia.org/wiki/NonStop

http://h17007.www1.hp.com/us/en/enterprise/servers/integrity...

Cool stuff.

Or Erlang.

Erlang?