summaryrefslogtreecommitdiff
path: root/hurd
diff options
context:
space:
mode:
Diffstat (limited to 'hurd')
-rw-r--r--hurd/faq/which_microkernel.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/hurd/faq/which_microkernel.mdwn b/hurd/faq/which_microkernel.mdwn
index 6180dbbb..10fd31b1 100644
--- a/hurd/faq/which_microkernel.mdwn
+++ b/hurd/faq/which_microkernel.mdwn
@@ -10,7 +10,7 @@ License|/fdl]]."]]"""]]
[[!meta title="What happened to the L4/Coyotos/viengoos micro-kernels?"]]
-L4 was promising but happened to not be suitable for implementing a general-purpose operating system on top of it. See [[history/port_to_l4]].
+L4 was promising but happened to not be suitable for implementing a general-purpose operating system on top of it. See [[history/port_to_l4]] for the historical details.
Coyotos is abandoned upstream