Some bits about L4 and Coyotos.

5 files changed, 16 insertions, 36 deletions

diff --git a/hurd/ng.mdwn b/hurd/ng.mdwn
index fb4d742f..de33949d 100644
--- a/hurd/ng.mdwn
+++ b/hurd/ng.mdwn
@@ -10,7 +10,6 @@ These pages try to summarize the major discussions and ideas.
 
 This section explains the motivations behind the new design:
 
-  * [[Issues_with_Mach]]
   * [[Issues_with_L4_Pistachio]]
   * [[Limitations_of_the_original_Hurd_design]]
 
@@ -64,7 +63,6 @@ A [[critique]] of the original Hurd is available.
 
 ## Implementation
 
-* [[ChoiceOfMicrokernel]]
 * [[HurdInterafaces]]
 * [[PosixLayer]]
 * [[SystemStructure]]
diff --git a/hurd/ng/choiceofmicrokernel.mdwn b/hurd/ng/choiceofmicrokernel.mdwn
deleted file mode 100644
index 20ee6f05..00000000
--- a/hurd/ng/choiceofmicrokernel.mdwn
+++ /dev/null
@@ -1,4 +0,0 @@
-TBD
-
-* [[MicrokernelL4]]
-* [[MicrokernelCoyotos]]
diff --git a/hurd/ng/issues_with_mach.mdwn b/hurd/ng/issues_with_mach.mdwn
deleted file mode 100644
index 9fac498f..00000000
--- a/hurd/ng/issues_with_mach.mdwn
+++ /dev/null
@@ -1,12 +0,0 @@
-[[!meta copyright="Copyright © 2008, 2009 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
-document under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no Invariant
-Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
-
-  * [[open issues/Resource Management Problems]]
-  * [[Critique]]
diff --git a/hurd/ng/microkernelcoyotos.mdwn b/hurd/ng/microkernelcoyotos.mdwn
deleted file mode 100644
index 2340901d..00000000
--- a/hurd/ng/microkernelcoyotos.mdwn
+++ /dev/null
@@ -1,11 +0,0 @@
-# <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). Its main objectives are to correcte some shortcomings of EROS, demonstrate that an atomic kernel design scales well, and (eventually) to completely formally verify both the kernel and critical system components by writing them in a new language called [bitc](http://www.bitc-lang.org/).  [See [l4.verified](http://nicta.com.au/research/projects/l4.verified) for work on formally verifying an L4 microkernel.]
-
-Coyotos is an orthogonally persistent pure capability system. It uses
-continuation based unbuffered asynchronous IPC (actually it's synchronous IPC
-with asynchronous [[system calls]]).
-
-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)
diff --git a/hurd/what_is_the_gnu_hurd.mdwn b/hurd/what_is_the_gnu_hurd.mdwn
index 0b8f7ef6..7a7f3d43 100644
--- a/hurd/what_is_the_gnu_hurd.mdwn
+++ b/hurd/what_is_the_gnu_hurd.mdwn
@@ -1,17 +1,18 @@
-[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2007, 2008 Free
-Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
+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
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 [[!meta title="What Is the GNU Hurd?"]]
 
-The Hurd is the GNU project's replacement for the [[Unix]] kernel.
+The Hurd is the GNU project's replacement for [[UNIX]], a popular operating
+system [[kernel]].
 
 The Hurd is firstly a collection of protocols formalizing how different
 components may interact.  The protocols are designed to reduce the mutual
@@ -22,11 +23,19 @@ process to implement a file system.  The only requirement is that it have
 access to its backing store and that the [[principal]] that started it own the
 file system node to which it connects.
 
-The Hurd is also a set of servers that implement these protocols.
-They include file systems, network protocols and authentication.
+The Hurd is also a set of [[servers|translator]] that implement these
+protocols.  They include file systems, network protocols and authentication.
 The servers run on top of the [[microkernel/Mach]] [[microkernel]] and use
 Mach's [[microkernel/mach/IPC]] mechanism to transfer information.
 
+The Hurd provides a compatibility layer such that compiling higher level
+programs is essentially transparent; that is, by means of the [[glibc]], it
+provides the same standard interfaces known from other [[UNIX]]-like systems.
+Thus, for a typical user, the Hurd is intended to silently work in the
+background providing the services and infrastructure which the [[microkernel]]
+itself has no business implementing, but that are required for higher level
+programs and libraries to operate.
+
 The Hurd supplies the last major software component needed for a complete
 [[GNU_operating_system|running/gnu]] as originally conceived by Richard
 M. Stallman (RMS) in 1983.  The GNU vision directly drove the creation and has