diff options
author | Thomas Schwinge <thomas@codesourcery.com> | 2016-05-18 12:53:00 +0200 |
---|---|---|
committer | Thomas Schwinge <thomas@codesourcery.com> | 2016-05-18 12:53:00 +0200 |
commit | a443afde27a74f8d8bc13e1184ecf16d513d6147 (patch) | |
tree | 706d01d5ec6581778dfa0e56fe6085fabdb60935 /microkernel/mach/gnumach.mdwn | |
parent | 2781d32ebd97fe0c93cb1b428c8b85ae0f23515e (diff) | |
parent | 60f15d9a60e7e0754c30bd8ec458982cd35540d3 (diff) |
Merge remote-tracking branch 'savannah/master'
Conflicts:
open_issues/profiling.mdwn
Diffstat (limited to 'microkernel/mach/gnumach.mdwn')
-rw-r--r-- | microkernel/mach/gnumach.mdwn | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn index 88aa1432..ba970a03 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 |