[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
hurd-l4/doc hurd-on-l4.tex
From: |
Marcus Brinkmann |
Subject: |
hurd-l4/doc hurd-on-l4.tex |
Date: |
Fri, 29 Aug 2003 21:38:08 -0400 |
CVSROOT: /cvsroot/hurd
Module name: hurd-l4
Branch:
Changes by: Marcus Brinkmann <address@hidden> 03/08/29 21:38:08
Modified files:
doc : hurd-on-l4.tex
Log message:
Use label for item. Move Peter and Wagi into their section.
CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/doc/hurd-on-l4.tex.diff?tr1=1.2&tr2=1.3&r1=text&r2=text
Patches:
Index: hurd-l4/doc/hurd-on-l4.tex
diff -u hurd-l4/doc/hurd-on-l4.tex:1.2 hurd-l4/doc/hurd-on-l4.tex:1.3
--- hurd-l4/doc/hurd-on-l4.tex:1.2 Fri Aug 29 21:32:52 2003
+++ hurd-l4/doc/hurd-on-l4.tex Fri Aug 29 21:38:08 2003
@@ -5,7 +5,7 @@
\newenvironment{comment}{\footnotesize \begin{quote}}{\end{quote}}
\title{Porting the GNU Hurd to the L4 Micorkernel}
-\author{Marcus Brinkmann, Peter De Schrijver, Daniel Wagner}
+\author{Marcus Brinkmann}
\date{August 2003}
\begin{document}
@@ -798,7 +798,7 @@
If $D$ does not trust $T$, it replies to $C$ (probably with an error
value indicating why the capability was not accepted). In that
- case, jump to step 8.
+ case, jump to step \ref{copycapout}.
Otherwise, it requests a task info cap for $S$ from its trusted task
server, under the constraint that $C$ is still living.
@@ -852,10 +852,10 @@
will be done by $D$ before returning to $C$.
\end{comment}
-\item The client $C$ receives the reply from $D$. Irregardless if it
- indicated failure or success, it will now send the
- \verb/cap_ref_cont_destroy/ message to the server $S$, providing the
- reference container $R$.
+\item \label{copycapout} The client $C$ receives the reply from $D$.
+ Irregardless if it indicated failure or success, it will now send
+ the \verb/cap_ref_cont_destroy/ message to the server $S$, providing
+ the reference container $R$.
\begin{comment}
This message can be a simple message. It does not require a reply
@@ -1667,6 +1667,8 @@
time will always be reported as 0.00, or 0.01.
\section{Device Drivers}
+
+This section written by Peter De Schrijver and Daniel Wagner.
\subsection{Requirements}
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/28
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/29
- hurd-l4/doc hurd-on-l4.tex,
Marcus Brinkmann <=
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/30
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/30
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/30
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/31
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/31
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/31
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/31
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/31
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/31
- hurd-l4/doc hurd-on-l4.tex, Marcus Brinkmann, 2003/08/31