diff options
Diffstat (limited to 'faq/which_microkernel.mdwn')
| -rw-r--r-- | faq/which_microkernel.mdwn | 2 |
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. --> |