Well Dave,
The QNX micro-kernel is pretty cool.
I was an OS-9 68K vendor in the late 80's and early 90's and I'm still a strong supporter of that concept.
Out of the three NG OS', only MorphOS uses a micro-kernel.
And as there is a stated intent to move it to 64 bit/SMP capability once an ISA change is made, our community still could evolve.