What about Linux/FreeBSD?
Exokernel/libOS advantages:
- Fault-isolation
- Library development (much!) easier
- Co-existence = can compose innovations
- Unices: slow rate of delivered innovation
Cons:
- Linux & co. available NOW
- Large scale exokernel deployment may expose problems