diff options
| -rw-r--r-- | hurd/faq/which_microkernel.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hurd/faq/which_microkernel.mdwn b/hurd/faq/which_microkernel.mdwn index e16bd495..6180dbbb 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 if 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]]. Coyotos is abandoned upstream |