summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach.mdwn2
-rw-r--r--microkernel/mach/gnumach/projects.mdwn (renamed from microkernel/mach/gnumach/revivalproject.mdwn)0
-rw-r--r--microkernel/mach/history.mdwn3
3 files changed, 3 insertions, 2 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 3a46ea82..13ab8441 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -23,4 +23,4 @@ GNU Mach runs on x86 machines. See the
* [[Building]]
* [[Debugging]]
* [[Boot_Trace]]
-* [[RevivalProject]] - GNU Mach Projects
+* [[Projects]]
diff --git a/microkernel/mach/gnumach/revivalproject.mdwn b/microkernel/mach/gnumach/projects.mdwn
index b04b695f..b04b695f 100644
--- a/microkernel/mach/gnumach/revivalproject.mdwn
+++ b/microkernel/mach/gnumach/projects.mdwn
diff --git a/microkernel/mach/history.mdwn b/microkernel/mach/history.mdwn
index fe3247df..a27595c0 100644
--- a/microkernel/mach/history.mdwn
+++ b/microkernel/mach/history.mdwn
@@ -36,7 +36,8 @@ Meanwhile, OSKit became unmaintained, thus posing more of a burden on than being
In 2005 Gianluca Guida started a different attempt to use the osenv interface with minimal changes to GNU Mach 1.x, thus allowing use of the generic driver interface while importing as little of the umaintained OSKit code as possible. However, there turned out to be serious problems with OSKit, so this attempt was abandoned as well.
-Today, GNU Mach development focuses on the 1.x branch again -- see also [[gnumach/RevivalProject]].
+Today, GNU Mach development focuses on the 1.x branch again -- see also this
+list of [[gnumach/projects]].
# <a name="Status_of_the_project"> Status of the project </a>