iRMX
<snip>
Wow, sounds like a pain to program in, though!
If it had caught on, I'd imagine tools would've adapted to simplify that -- much the way that everything from Java and C# to Python and various scripting languages have adopted one-liner window frame interfaces, layouts and event-driven interfaces; despite the mess that Windows and Linux are.
It also sounds like the kernel (does that count as a microkernel?) might be /too/ simple, in that, if a program were accidentally given access to system calls, it could go and do whatever it wants anyway, with the kernel operations being little more than wrapper functions for very powerful instructions. But, I don't know, obviously a brief description doesn't cover enough to say anything about that -- and I'm hardly an expert on OS programming besides...
Tim