diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-03-29 12:19:10 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-03-29 12:19:10 +0200 |
| commit | 2968bbdfc5d2ab381bbc9ce88e6ae90493cba2cb (patch) | |
| tree | b9bd988b68b9683a58ff43087ec595ce5b8c1923 /history/port_to_another_microkernel.mdwn | |
| parent | ef20dadf4b2dc498f99f3101cd17349339fb9354 (diff) | |
faq/which_microkernel: Resurrect Olaf's text, and work on it some more.
Diffstat (limited to 'history/port_to_another_microkernel.mdwn')
| -rw-r--r-- | history/port_to_another_microkernel.mdwn | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/history/port_to_another_microkernel.mdwn b/history/port_to_another_microkernel.mdwn index b347cf38..a8ec3fe7 100644 --- a/history/port_to_another_microkernel.mdwn +++ b/history/port_to_another_microkernel.mdwn @@ -11,9 +11,16 @@ License|/fdl]]."]]"""]] [[!meta title="Porting the Hurd to another microkernel"]] -At first, there was an effort to port the Hurd from the [[Mach -microkernel|microkernel/mach]] to the [[L4_microkernel_family|microkernel/l4]]. -Then the story continued... +<!-- This page shares some text with faq/which_microkernel. --> + +It is a frequently asked question, [[faq/which_microkernel]] the Hurd should be +based upon assuming that [[microkernel/Mach]] is no longer considered state of +the art, and it is well known that there has been a lot of discussion about +this topic, and also some code produced, but then, years later, the Hurd is +still based on [[GNU Mach|microkernel/mach/gnumach]]. + +At first, there was an effort to directly port the Hurd to the +[[L4_microkernel_family|microkernel/l4]]. Then the story continued... [[!toc levels=2]] @@ -139,7 +146,7 @@ As of 2005, development of Hurd/L4 has stopped. # Coyotos Following that, an attempt was started to use the kernel of the -[[microkernel/Coyotos]] system. As Coyotos is an object capability system +[[microkernel/Coyotos]] system. As Coyotos is an object-capability system througout, the microkernel would obviously be more suitable for this purpose; and it looked pretty promising in the beginning. However, further investigations found that there are some very fundamental philosophical @@ -152,7 +159,7 @@ actual code.) By now (that is, after 2006), there were some new [[microkernel/L4]] variants available, which added protected [[IPC]] paths and other features necessary for -object capability systems; so it might be possible to implement the Hurd on top +object-capability systems; so it might be possible to implement the Hurd on top of these. However, by that time the developers concluded that microkernel design and system design are interconnected in very intricate ways, and thus trying to use a third-party microkernel will always result in trouble. So Neal |