Merge branch 'master' of arnebab@flubber:~wiki/wiki

3 files changed, 19 insertions, 5 deletions

diff --git a/community/scolobb.mdwn b/community/scolobb.mdwn
index 594281fe..2de8eb4f 100644
--- a/community/scolobb.mdwn
+++ b/community/scolobb.mdwn
@@ -26,6 +26,18 @@ The code is at <http://github.com/scolobb/nsmux/tree/master>.
 
 ---
 
+###Did this week
+
+* Modified the node cache so that it maintains shadow nodes alive.
+
+###Plans for the next week
+
+* Implement the shutting down of translator stacks when *nsmux* is asked to go away (in case **antrik** considers that necessary).
+
+* Make *nsmux* provide the access to the translator stack of the real node, in case a translator (mainly, a filter) should ask for its underlying node to be opened in O_NOTRANS mode.
+
+---
+
 ###Current Status
 
 ####DONE:
@@ -66,6 +78,10 @@ The code is at <http://github.com/scolobb/nsmux/tree/master>.
 
 ###Progress
 
+####8: Fri Sep 19:
+
+> Modified the ncache so that it now maintains shadow nodes (and directory nodes too, it is a side effect at the moment) alive.
+
 ####7: Sat Aug 30 - Fri Sep 5:
 
 > Added the code for shutting down dynamic translator stacks.
diff --git a/hurd/ng/microkernelcoyotos.mdwn b/hurd/ng/microkernelcoyotos.mdwn
index 40fd6e9d..cdf4e1bf 100644
--- a/hurd/ng/microkernelcoyotos.mdwn
+++ b/hurd/ng/microkernelcoyotos.mdwn
@@ -1,8 +1,8 @@
 # <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](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 whith asynchronous syscalls).
+Coyotos is an orthogonally persistent pure capability system. It uses continuation based unbuffered asynchronous IPC (actually it's synchronous IPC with asynchronous syscalls).
 
 TODO: explain these terms and (more important) their consequences on system design.
 
diff --git a/index.mdwn b/index.mdwn
index 3b52f033..3a6cfe7c 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -52,7 +52,7 @@ Find more information about it at the
 
 There are [[various_possibilities|hurd/running]] of running a GNU/Hurd system.
 
-And this wiki is living proof of the usability of the HURD, as it is served by a GNU/HURD system<!--which one?-->. More people using GNU: [[Hurd/WhoRunsGNU]]
+And this wiki is living proof of the usability of the Hurd, as it is served by a Debian GNU/Hurd system. More people using GNU: [[Hurd/WhoRunsGNU]]
 
 ## What is the Hurd?
 
@@ -99,8 +99,6 @@ Functional systems are installable in a dual-boot configuration.  Development
 systems are currently mostly based on the [[Debian_GNU/Hurd|hurd/running/debian]] port
 sponsored by the [Debian project](http://www.debian.org/).
 
-This wiki is living proof of a working HURD installation, as it is served by a HURD based system. 
-
 Community resources for related projects focus around the official website
 <http://hurd.gnu.org/>, this site at <http://www.bddebian.com/~wiki/>, the
 [[mailing_lists]] and the [[IRC_channels|IRC]].