From 79586834089f2938b9e78dfb319d07edcad64ecd Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Wed, 20 Apr 2016 01:03:34 +0200
Subject: document how to profile the kernel

---
 open_issues/profiling.mdwn | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'open_issues')

diff --git a/open_issues/profiling.mdwn b/open_issues/profiling.mdwn
index e7dde903..57e3bedf 100644
--- a/open_issues/profiling.mdwn
+++ b/open_issues/profiling.mdwn
@@ -18,9 +18,7 @@ done for [[performance analysis|performance]] reasons.
   * [[hurd/debugging/rpctrace]]
 
   * [[gprof]]
-
-    Should be working, but some issues have been reported, regarding GCC spec
-    files.  Should be possible to fix (if not yet done) easily.
+  * [[profiling GNU Mach|microkernel/mach/gnumach/profiling]]
 
   * [[glibc]]'s sotruss
 
-- 
cgit v1.2.3