Skip to content
Snippets Groups Projects
Commit 5fb6f8b3 authored by Jimmy Brush's avatar Jimmy Brush Committed by Anna Lyons
Browse files

manual: document seL4_TruncatedMessage error

parent f7749ed5
No related branches found
No related tags found
No related merge requests found
......@@ -199,6 +199,19 @@ A capability could not be looked up.
\end{tabularx}
\vfill
\subsection{Truncated Message}
Too few message words or capabilities were sent in the message.
\begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
\toprule
Field & Meaning \\
\midrule
\ipcbloc{Label} & \enummem{seL4\_TruncatedMessage} \\
\bottomrule
\end{tabularx}
\vfill
\subsection{Delete First}
A destination slot specified in the syscall arguments is occupied.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment