Measuring RTOS Performance: What? Why? How?