3D Systems Interview Question

How would you debug an RTOS?