Added new module for kernel debugger