Showing 1–1 of 1 editor-approved links.
A built-in kernel debugger from SGI released under the GPL license. Site offers some documentation of the project and download section.