Sockeye TN: Update info about node types
authorDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 11 Sep 2017 16:08:19 +0000 (18:08 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Mon, 11 Sep 2017 16:08:19 +0000 (18:08 +0200)
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

doc/025-sockeye/Sockeye.tex

index 94a6354..ba20c2f 100644 (file)
@@ -271,12 +271,14 @@ The overlay will span addresses from \texttt{0x0} to \(\texttt{0x2}^\texttt{bits
 \end{syntax}
 
 \subsection{Node Type}
-Currently there are two types: \Sockeye{device} and \Sockeye{memory}. A third internal type \Sockeye{other} is given to nodes for which no type is specified.
-The \Sockeye{device} type specifies that the accepted addresses are device registers while the \Sockeye{memory} type is for memory nodes like RAM or ROM.
+Currently there are three types: \Sockeye{core}, \Sockeye{device} and \Sockeye{memory}. A fourth internal type \Sockeye{other} is given to nodes for which no type is specified.
+The \Sockeye{core} type designates the node as a CPU core. The \Sockeye{device} type specifies that the accepted addresses are device registers while the \Sockeye{memory} type is for memory nodes like RAM or ROM.
 
 \paragraph{Syntax}
 \begin{align*}
 \textit{type} & \mathop{=}
+    \textbf{core}\
+    |\
     \textbf{device}\
     |\
     \textbf{memory} \\