You should be able to calculate the timing of the RTOS yourself from the code, infact you should be writing the code with things like max latency in mind. In a small RTOS this will mostly likely just be how long the scheduler can run for, but on a larger RTOS this could be a LOT of work