A good RTOS is not only a good Kernel ! A good RTOS should have a good
documentation, should be delivered with good tools to develop and tune your
application. So even if some figures like the Interrupt latency, Context
switch time are important, there are a lot of other parameters that will
make a good RTOS. For example a RTOS supporting many devices will have more
advantages than a simple very good nano-kernel.