summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/profiling.mdwn
AgeCommit message (Expand)Author
2016-05-18Merge remote-tracking branch 'savannah/master'Thomas Schwinge
2016-04-20document how to profile the kernelSamuel Thibault
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-19 00:28:00 +0000