diff options
| -rw-r--r-- | Hurd/NextHurd.mdwn | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/Hurd/NextHurd.mdwn b/Hurd/NextHurd.mdwn index fb716158..4cde820f 100644 --- a/Hurd/NextHurd.mdwn +++ b/Hurd/NextHurd.mdwn @@ -1,12 +1,12 @@ # <a name="Next_Hurd"> Next Hurd </a> -There is work on progress to design a new Hurd, which started by trying to port the Hurd to the L4 �-kernel. As L4 itself is now deprecated and it's successors, L4.sec and L4ng, are not ready yet, efforts are directed toward designing from scratch this new Hurd. +There is work on progress to design a new Hurd currently known as ngHurd, Hhurd-NG or Hurd/Coyotos, which started by trying to port the Hurd to the L4 �-kernel. As L4 itself is now deprecated and it's successors, L4.sec and L4ng, are not ready yet, efforts are directed toward designing from scratch this new Hurd on top of the coyotos �-kernel. -There are discussions on the desired features of the new Hurd, and discussions about it's design principles and core properties. +There are discussions on the desired features of ngHurd, and discussions about it's design principles and core properties. ## <a name="Subjects"> Subjects </a> -## <a name="Organization"> Organization </a> +### <a name="Organization"> Organization </a> Summaries should obey the following structure: @@ -17,4 +17,20 @@ Summaries should obey the following structure: Each time a point seems to be overly long with respect to the rest of the article, it should be summarized in place and developed in a separate article. +### <a name="The_Coyotos_microkernel"> The Coyotos microkernel </a> + +[Coyotos](http://www.coyotos.org/index.html) is a microkernel and OS and the successor of EROS, that itself is the successor of KeyKOS. A more complete history can be found [here](http://www.coyotos.org/history.html). It's main objectives are to correcte some shortcomings of EROS, demonstrate that an atomic kernel design scales well and to completely formally verify both the kernel and critical system components by writing them in a new language called bitc. + +Coyotos is an orthogonally persistent pure capability system. It uses continuation based unbuffered asynchronous IPC (actually it's synchronous IPC whith asynchronous syscalls). + +TODO: explain these terms and (more important) their consequences on system design. + +The coyotos microkernel specification can be found [here](http://www.coyotos.org/docs/ukernel/spec.html) + +### <a name="Work_already_done"> Work already done </a> + +A draft specification of the ngHurd iterfaces by Marcus Brinkmann and Neal H. Walfield can be found [here](http://www.marcus-brinkmann.org/hurd-ng.pdf). + +A position paper is in work but no draft has been made public, yet. + -- [[Main/NowhereMan]] - 21 Apr 2006 |