Debugging an L4 task