3D Systems interview question

How would you debug an RTOS?