diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2015-11-01 18:57:00 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2015-11-01 18:57:00 +0100 |
| commit | cc1cbfb21aed52b60313121654345b167c7cdda7 (patch) | |
| tree | 6d850dbefc1cc8b2edc8f6253fcd27808a8decf0 /microkernel/mach/gnumach/debugging.mdwn | |
| parent | 5f2e6be200ae3ddf559697e028aca90c26f58360 (diff) | |
| parent | c27bbcb3d543ba954d5c63c628b0077680f92371 (diff) | |
| download | web-cc1cbfb21aed52b60313121654345b167c7cdda7.tar.gz web-cc1cbfb21aed52b60313121654345b167c7cdda7.tar.bz2 web-cc1cbfb21aed52b60313121654345b167c7cdda7.zip | |
Merge commit 'c27bbcb3d543ba954d5c63c628b0077680f92371'
Diffstat (limited to 'microkernel/mach/gnumach/debugging.mdwn')
| -rw-r--r-- | microkernel/mach/gnumach/debugging.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach/debugging.mdwn b/microkernel/mach/gnumach/debugging.mdwn index c5c592b7..c14f6111 100644 --- a/microkernel/mach/gnumach/debugging.mdwn +++ b/microkernel/mach/gnumach/debugging.mdwn @@ -14,7 +14,7 @@ Here are some hints to debug with GNU Mach. [[!toc levels=2]] -# Kernel Debugger +# Kernel Debugger (KDB) Mach has a built-in kernel debugger. [Manual](http://www.gnu.org/software/hurd/gnumach-doc/Kernel-Debugger.html). |