> Minix used to be a simple OS for teaching OS concepts (not researching, AFAIK).
True IMHO for Minix before the 3.0 release.
> It tries to be usable as a general purpose (embedded) OS now, so that's not really an excuse anymore.
Yeah, but I would consider the resilience work done via the EU grant mentioned above in a comment puts it into the research OS space. It certainly tries to be embedded, but I think AST is kidding himself if he believes that he can outcompete the BSDs, much less Linux or commercial options like QNX if one desires a pure RTOS.