На самом деле у миникса все печально.

_http://www.minix3.org/who_doing_what.html

Забыли миникс, последний релиз от 2007 года, надеюсь всетаки грант изменит положение хоть как-то.