update spec yet again

[msc-thesis1617.git] / results.arch.tex

diff --git a/results.arch.tex b/results.arch.tex
index d5deda2..cbd0788 100644 (file)
--- a/results.arch.tex
+++ b/results.arch.tex
@@ -72,7 +72,7 @@ the server will send a request for specification. The client will serialize his
 specification and send it to the server so that the server knows what the
 client is capable of. The exact specification is shown in
 Listing~\ref{lst:devicespec} and stores the peripheral availability, the memory
-available for storing \glspl{Task} and \glspl{SDS}.
+available for storing \glspl{Task} and \glspl{SDS} and the size of the stack.
 
 \begin{lstlisting}[label={lst:devicespec},
        caption={Device specification for \glspl{mTask}}]
@@ -80,9 +80,10 @@ available for storing \glspl{Task} and \glspl{SDS}.
        { haveLed     :: Bool
        , haveAio     :: Bool
        , haveDio     :: Bool
+       , bytesMemory :: Int
+       , stackSize   :: Int
        , aPins       :: Int
        , dPins       :: Int
-       , bytesMemory :: Int
        }
 \end{lstlisting}