aboutsummaryrefslogtreecommitdiff
path: root/faq/which_microkernel.mdwn
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-03-17 13:44:52 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-03-17 13:44:52 +0100
commitc60c722ef7ca212431f0f914aa5925d10e7c323e (patch)
tree9a9da71196107ee7e5188f1e2cb327123517166c /faq/which_microkernel.mdwn
parentb43ea6ca9b24067ee5d4775383a09c46233119df (diff)
downloadweb-c60c722ef7ca212431f0f914aa5925d10e7c323e.tar.gz
web-c60c722ef7ca212431f0f914aa5925d10e7c323e.tar.bz2
web-c60c722ef7ca212431f0f914aa5925d10e7c323e.zip
merge back old-stuff into plain pages. Reorder items
Diffstat (limited to 'faq/which_microkernel.mdwn')
-rw-r--r--faq/which_microkernel.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/faq/which_microkernel.mdwn b/faq/which_microkernel.mdwn
index 84b661e4..3ceb315c 100644
--- a/faq/which_microkernel.mdwn
+++ b/faq/which_microkernel.mdwn
@@ -8,7 +8,7 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
is included in the section entitled [[GNU Free Documentation
License|/fdl]]."]]"""]]
-[[!meta title="What happened with the Hurd ports to the L4 / Coyotos / Viengoos
+[[!meta title="What happened with the Hurd ports to the OSKit Mach / L4 / Coyotos / Viengoos
microkernels?"]]
<!-- This page shares some text with history/port_to_another_microkernel. -->