Pergunta de entrevista da empresa 3D Systems

How would you debug an RTOS?