summaryrefslogtreecommitdiff
path: root/security
diff options
context:
space:
mode:
authorHolger Dengler <dengler@linutronix.de>2013-05-14 09:16:19 +0200
committerHolger Dengler <dengler@linutronix.de>2015-02-20 16:32:50 +0100
commit356589a6bba9d9951357731194094f722535076c (patch)
tree4c9ff209431d049d7b4ac3b74980b75a7002b188 /security
parente78d50f68cb76b84a47f7ad4c1f3f4028ecaee6d (diff)
security: advanced: Correct formatting
Signed-off-by: Holger Dengler <dengler@linutronix.de>
Diffstat (limited to 'security')
-rw-r--r--security/advanced/pres_advanced_sec.tex5
1 files changed, 4 insertions, 1 deletions
diff --git a/security/advanced/pres_advanced_sec.tex b/security/advanced/pres_advanced_sec.tex
index 863980b..abdc749 100644
--- a/security/advanced/pres_advanced_sec.tex
+++ b/security/advanced/pres_advanced_sec.tex
@@ -177,7 +177,10 @@ rm: cannot remove `/home/franz/.bash_history': Operation not permitted
\frametitle{Domain Transition Management}
\begin{itemize}
\item Control Domain Transition Behavior
-\item Syntax: <directive> <domain> from <domain>
+\item Syntax: \\
+\begin{verbatim}
+<directive> <domain> from <domain>
+\end{verbatim}
\item Directives:
\begin{itemize}
\item initialize\_domain / no\_initialize\_domain