summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/profiling.mdwn
AgeCommit message (Collapse)Author
2016-05-18Merge remote-tracking branch 'savannah/master'Thomas Schwinge
Conflicts: open_issues/profiling.mdwn
2016-04-20document how to profile the kernelSamuel Thibault