I don't know about the grandparent, but I'd imagine anyone interested in using something QNX (http://www.qnx.com/products/neutrino-rtos/neutrino-rtos.html) would be interested in Minoca, if it became a real alternative for a RTOS.

It'd be interesting to see more information about licensing for Minoca, as I could see it as an interesting alternative for small projects on the RaspberryPI.

I don't mind the "heaviness" of Linux on the RPi but I cannot rely on its user-space interrupts for GPIO use from userland. Instead, I have to write kernel software or give up on guarantees. So far it hasn't been much of a problem, but if I wanted to do more tightly timed things, I'd need to use a real-time OS.

Meanwhile, it's nice having the support of lots of Linux software so it's hard to justify switching to a non-real-time OS with much less support.

I've noticed, browsing the RPi forums, that people are disappointed that they can't get real-time behavior from Raspbian.