diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2014-09-17 11:22:07 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2014-09-17 11:22:07 +0200 |
| commit | bb5d918ebbfef16189a63de4c6dc184a23763316 (patch) | |
| tree | fb2dc8c800cc1b3ba5edfe9fc6daf789083e038c /microkernel/mach/gnumach/debugging.mdwn | |
| parent | 3a57701f0206d28d8ca63b41cc3ab8630312dd96 (diff) | |
| download | web-bb5d918ebbfef16189a63de4c6dc184a23763316.tar.gz web-bb5d918ebbfef16189a63de4c6dc184a23763316.tar.bz2 web-bb5d918ebbfef16189a63de4c6dc184a23763316.zip | |
microkernel/mach/gnumach/interface/thread_get_state, thread_set_state: New.
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 cf02471d..a5daf4f1 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). |