summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach.mdwn
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2016-04-20 01:03:34 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2016-04-20 01:03:34 +0200
commit79586834089f2938b9e78dfb319d07edcad64ecd (patch)
tree0a78dccf69dd30f4bc4fde58487f39cf576485a2 /microkernel/mach/gnumach.mdwn
parent1e8d71e3fe009302711a10f075ce2409e8d98a38 (diff)
document how to profile the kernel
Diffstat (limited to 'microkernel/mach/gnumach.mdwn')
-rw-r--r--microkernel/mach/gnumach.mdwn1
1 files changed, 1 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 88aa143..ba970a0 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -79,6 +79,7 @@ GNU/Hurd.
* [[Reference_Manual]]
* [[Building]]
* [[Debugging]]
+ * [[Profiling]]
* [[Boot_Trace]]
* [[Memory_Management]]
* [[Continuation]]s