/[hurd]/hurd-l4/doc/hurd-on-l4.tex
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.2 by marcus, Sat Aug 30 01:32:52 2003 UTC revision 1.3 by marcus, Sat Aug 30 01:38:08 2003 UTC
# Line 5  Line 5 
5  \newenvironment{comment}{\footnotesize \begin{quote}}{\end{quote}}  \newenvironment{comment}{\footnotesize \begin{quote}}{\end{quote}}
6    
7  \title{Porting the GNU Hurd to the L4 Micorkernel}  \title{Porting the GNU Hurd to the L4 Micorkernel}
8  \author{Marcus Brinkmann, Peter De Schrijver, Daniel Wagner}  \author{Marcus Brinkmann}
9  \date{August 2003}  \date{August 2003}
10    
11  \begin{document}  \begin{document}
# Line 798  have to take it out of the long version. Line 798  have to take it out of the long version.
798        
799    If $D$ does not trust $T$, it replies to $C$ (probably with an error    If $D$ does not trust $T$, it replies to $C$ (probably with an error
800    value indicating why the capability was not accepted).  In that    value indicating why the capability was not accepted).  In that
801    case, jump to step 8.    case, jump to step \ref{copycapout}.
802        
803    Otherwise, it requests a task info cap for $S$ from its trusted task    Otherwise, it requests a task info cap for $S$ from its trusted task
804    server, under the constraint that $C$ is still living.    server, under the constraint that $C$ is still living.
# Line 852  have to take it out of the long version. Line 852  have to take it out of the long version.
852      will be done by $D$ before returning to $C$.      will be done by $D$ before returning to $C$.
853    \end{comment}    \end{comment}
854        
855  \item The client $C$ receives the reply from $D$.  Irregardless if it  \item \label{copycapout} The client $C$ receives the reply from $D$.
856    indicated failure or success, it will now send the    Irregardless if it indicated failure or success, it will now send
857    \verb/cap_ref_cont_destroy/ message to the server $S$, providing the    the \verb/cap_ref_cont_destroy/ message to the server $S$, providing
858    reference container $R$.    the reference container $R$.
859    
860    \begin{comment}    \begin{comment}
861      This message can be a simple message.  It does not require a reply      This message can be a simple message.  It does not require a reply
# Line 1668  time will always be reported as 0.00, or Line 1668  time will always be reported as 0.00, or
1668    
1669  \section{Device Drivers}  \section{Device Drivers}
1670    
1671    This section written by Peter De Schrijver and Daniel Wagner.
1672    
1673  \subsection{Requirements}  \subsection{Requirements}
1674    
1675    \begin{itemize}    \begin{itemize}

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26