[disordinary]

It's classed as a hybrid though, not a pure microkernel. There's significant amounts of BSD in there.

Also, thanks for the anecdote :)