From 470e56257595b99d19e918cf23357ecdac571b00 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Wed, 24 Oct 2007 13:02:23 +0200
Subject: [[Boot_Trace]].

---
 microkernel/mach/gnumach.mdwn | 1 +
 1 file changed, 1 insertion(+)

(limited to 'microkernel')

diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 16ed602a..5ad50f73 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -22,4 +22,5 @@ GNU Mach runs on x86 machines.  See the
 
 * [[Building]]
 * [[Debugging]]
+* [[Boot_Trace]]
 * [[RevivalProject]] - GNU Mach Projects
-- 
cgit v1.2.3