System Debugging Overview

System debugging is used for debugging specific parts of the ChorusOS operating system. This includes the microkernel, the system drivers, the BSP, and those supervisor actors that cannot be debugged with application debugging, such as the C_OS. System debugging also enables you to debug interrupt and exception handlers. During system debugging, the whole operating system is affected.

It is not possible to enable debugging information for the microkernel and the C_OS using the binary release of the ChorusOS operating system.