IIRC, I asked them one question via e-mail and the reply was timely and accurate. Since I had to make a small change to the scheduler/dispatcher for my project's requirements, I figured I should be "on my own" and did not trouble them with any further questions. I will not even consider an RTOS that does not come with source code!

Oh, and the kernel supported (as in, saved as part of the MCU context) the Dallas 80C320's second DPTR, which was nice.