diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-24 13:02:23 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-24 13:02:23 +0200 |
commit | 470e56257595b99d19e918cf23357ecdac571b00 (patch) | |
tree | c00f70df11b0c07058b63fa7228471dbda5402c9 /microkernel/mach | |
parent | 5eada177cbd8dc99d22316aceb0e9c2d015f8695 (diff) |
[[Boot_Trace]].
Diffstat (limited to 'microkernel/mach')
-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 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 |