Skip to content

Commit

Permalink
manual: document write-only pages
Browse files Browse the repository at this point in the history
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
  • Loading branch information
Ivan-Velickovic committed Jun 11, 2024
1 parent ddeb18a commit bf2134e
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion manual/parts/vspace.tex
Original file line number Diff line number Diff line change
Expand Up @@ -169,7 +169,8 @@ \subsection{Page}
are specified with an argument of type \texttt{seL4\_CapRights} given to the mapping invocation. If
the capability does not have sufficient permissions to authorise the given mapping, the mapping
permissions are silently downgraded. Specific mapping permissions are dependent on the architecture
and are documented in the \autoref{sec:api_reference} for each function.
and are documented in the \autoref{sec:api_reference} for each function. On all architectures,
mapping a page write-only will result in an inaccessible page.

At minimum, each architecture defines \texttt{Map}, \texttt{Unmap} and
\texttt{GetAddress} methods for pages.
Expand Down

0 comments on commit bf2134e

Please sign in to comment.