diff options
| author | jd823592 <jd823592@web> | 2010-09-03 20:30:36 +0000 |
|---|---|---|
| committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2010-09-03 20:30:36 +0000 |
| commit | e8cf531732a046bf5a52581a564bda0569c6c1a4 (patch) | |
| tree | 1ca16445060ad188af4385eb0cb8ffcdcfaec07b /hurd | |
| parent | 0a7eb6934349133a44735f4680b0efe6a510d68f (diff) | |
fix typo
Diffstat (limited to 'hurd')
| -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 |