From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 19 Jun 2017 13:10:43 +0000 (+0200)
Subject: spec update
X-Git-Tag: hand-in~74
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=6863f12d2bffba5c1f4c6c7756a5ee641816ce11;p=msc-thesis1617.git

spec update
---

diff --git a/results.arch.tex b/results.arch.tex
index e276010..d5deda2 100644
--- a/results.arch.tex
+++ b/results.arch.tex
@@ -30,7 +30,6 @@ following terms will be used throughout the architecture description.
 		with the server and interprets the \glspl{Task}.
 \end{itemize}
 
-
 \section{Devices}
 The engine for the devices is compiled from one codebase. For a device to
 be eligible for \glspl{mTask}, it must be able to compile the shared codebase
@@ -49,14 +48,14 @@ At the time of writing the following device families are supported and can run
 the device software.
 \begin{itemize}
 	\item \texttt{POSIX} compatible systems
-		
+
 		This includes systems running \emph{Linux} and \emph{MacOS}.
 	\item \texttt{STM32} family microcontrollers supported by \texttt{ChibiOS}.
 
 		This is tested in particular on the \texttt{STM32f7x} series \gls{ARM}
 		development board.
 	\item Microcontrollers programmable by the \gls{Arduino} \gls{IDE}.\\
-		
+
 		This does not only include \gls{Arduino} compatible boards but also
 		other boards capable of running \gls{Arduino} code. The code
 		has been found working on the \texttt{ESP8266} powered \emph{NodeMCU}.
@@ -72,7 +71,8 @@ specification. When a connection between the server and a client is established
 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}
+Listing~\ref{lst:devicespec} and stores the peripheral availability, the memory
+available for storing \glspl{Task} and \glspl{SDS}.
 
 \begin{lstlisting}[label={lst:devicespec},
 	caption={Device specification for \glspl{mTask}}]
@@ -80,6 +80,8 @@ Listing~\ref{lst:devicespec}
 	{ haveLed     :: Bool
 	, haveAio     :: Bool
 	, haveDio     :: Bool
+	, aPins       :: Int
+	, dPins       :: Int
 	, bytesMemory :: Int
 	}
 \end{lstlisting}