I'm glad this is getting brought up. Minix has so much potential and it is due for an open source community to care with a mission. Its hard to find where an org would use it since Linux is so popular and so few orgs really need a hyper reliable operating system with limited libraries and dependencies. Military or space problems?