Whatever the reason is, it probably has very little to do with the described use case since RTOS is a very different use case to desktop copmuters. I didn't even know that people were making an RTOS that is based on the linux kernel. You could never bring the device support the linux kernel has to the RTOS world.