diff options
Diffstat (limited to 'systemenvironments.tex')
| -rw-r--r-- | systemenvironments.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/systemenvironments.tex b/systemenvironments.tex index 9b40c1e..7e34b7e 100644 --- a/systemenvironments.tex +++ b/systemenvironments.tex @@ -1,5 +1,6 @@ % LICENSE: see LICENCE \section{System Environment} +\label{systemenvironment} In this section, we describe the system configuration requirements for the continuous operation of the tools. The production environment differs in some @@ -297,7 +298,6 @@ Create a file named \verb+graphs.odr.cfg+ in \subsection{Real-time Scheduling} - As a general principle, it is prudent not to run tools (that do not need superuser privileges) as the \texttt{root} user. The same principle also applies to the ODR-mmbTools, but care has to be taken that the tools can still request real-time |