It was a really good read back when I had it. The MINIX 3 project made many interesting design decisions to support the paper's goals. I'm curious: has anyone benchmarked the reliability of any servers running on MINIX 3 over past year or so? Wondering how much it delivers so far.