From e8cf531732a046bf5a52581a564bda0569c6c1a4 Mon Sep 17 00:00:00 2001 From: jd823592 Date: Fri, 3 Sep 2010 20:30:36 +0000 Subject: fix typo --- hurd/faq/which_microkernel.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3