Support debugging of the operating system.