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} |
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. |
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 |
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} |