summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/profiling.mdwn
AgeCommit message (Expand)Author
2016-04-20document how to profile the kernelSamuel Thibault