hurd-l4/doc hurd-on-l4.tex

[Marcus Brinkmann]

CVSROOT:        /cvsroot/hurd
Module name:    hurd-l4
Branch:         
Changes by:     Marcus Brinkmann <address@hidden>       03/08/31 11:23:54

Modified files:
        doc            : hurd-on-l4.tex 

Log message:
        Some sigma_0 changed to \sigma_0.

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/doc/hurd-on-l4.tex.diff?tr1=1.10&tr2=1.11&r1=text&r2=text

Patches:
Index: hurd-l4/doc/hurd-on-l4.tex
diff -u hurd-l4/doc/hurd-on-l4.tex:1.10 hurd-l4/doc/hurd-on-l4.tex:1.11
--- hurd-l4/doc/hurd-on-l4.tex:1.10     Sun Aug 31 10:47:39 2003
+++ hurd-l4/doc/hurd-on-l4.tex  Sun Aug 31 11:23:54 2003
@@ -169,8 +169,8 @@
 
 The L4 kernel initializes itself and then creates the address spaces
 and threads for the initial servers $\sigma_0$ and the rootserver.  It
-maps all physical memory idempotently into $sigma_0$, and sets the
-pager of the rootserver thread to $sigma_0$.  Then it starts the
+maps all physical memory idempotently into $\sigma_0$, and sets the
+pager of the rootserver thread to $\sigma_0$.  Then it starts the
 initial servers.
 
 
@@ -182,7 +182,7 @@
 
 \begin{comment}
   $\sigma_0$ can also be used directly by sending messages to it,
-  according to the $sigma_0$ RPC protocol.  This is used by the kernel
+  according to the $\sigma_0$ RPC protocol.  This is used by the kernel
   to allocate reserved memory, but can also be used by the user to
   explicitely allocate more memory than single pages indirectly via
   page faults.