Pregunta de entrevista de 3D Systems

How would you debug an RTOS?