diff options
author | marcus <marcus> | 2003-08-31 15:23:54 +0000 |
---|---|---|
committer | marcus <marcus> | 2003-08-31 15:23:54 +0000 |
commit | 94b6d47230e9f04655c7dfe70bcdb6963a36c587 (patch) | |
tree | cd30cce97c85ffa7e85c138b7c096fac067c419d /doc | |
parent | 923c9a71251aba718f7134386936570d8ba543dd (diff) |
Some sigma_0 changed to \sigma_0.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/hurd-on-l4.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/hurd-on-l4.tex b/doc/hurd-on-l4.tex index e1c4baa..09e74ca 100644 --- a/doc/hurd-on-l4.tex +++ b/doc/hurd-on-l4.tex @@ -169,8 +169,8 @@ image and modifies it in the following way: 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 @@ rootserver. \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. |