I agree, and Minix has been (advertized as) production-quality for a while now.