diff options
| author | Arne Babenhauserheide <arne_bab@web.de> | 2010-10-12 19:19:39 +0200 |
|---|---|---|
| committer | Arne Babenhauserheide <arne_bab@web.de> | 2010-10-12 19:19:39 +0200 |
| commit | a3b989c2749ae8b6a69145184f9051c907e3ceb0 (patch) | |
| tree | 0c2f3efd66d6991e88e8202ab8a80cb257e98e33 /hurd/faq/how_to_switch_microkernels.mdwn | |
| parent | 4f16a009926ea28a7be6a192126a75a206ad9f45 (diff) | |
| parent | 8a86419c2083bcec0cd86e65376fb183c55a6c3c (diff) | |
Merge branch 'master' of flubber:~hurd-web/hurd-web
Diffstat (limited to 'hurd/faq/how_to_switch_microkernels.mdwn')
| -rw-r--r-- | hurd/faq/how_to_switch_microkernels.mdwn | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/hurd/faq/how_to_switch_microkernels.mdwn b/hurd/faq/how_to_switch_microkernels.mdwn index 468fab54..21f7a371 100644 --- a/hurd/faq/how_to_switch_microkernels.mdwn +++ b/hurd/faq/how_to_switch_microkernels.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2009 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2009, 2010 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable id="license" text="Permission is granted to copy, distribute and/or modify this @@ -10,6 +10,6 @@ License|/fdl]]."]]"""]] [[!meta title="How difficult would it be to switch to another microkernel?"]] -One thing for sure is to rewrite the mach and sysdeps/mach parts of glibc and -libpthread. Quite a few tools also assume a Mach kernel and would have to be -rewritten. +One would have to reimplement the `mach/` and `sysdeps/mach/` parts of +[[glibc]] and [[libpthread]]. Quite a few other Hurd tools also assume a +[[microkernel/Mach]] kernel and would have to be adapted or rewritten. |