Microkernel extension procedure for debugging the run-time processing - View it on GitHub