X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=arch.devices.tex;h=db56b4887f3aee278860c75d01e0d280ad84462e;hb=d87a4fd64d0bb48c3b42f46f7ea8806627b65c4d;hp=8e0c181f3b6c03366cc53d7f35c30281844b046e;hpb=a625a3655776fe2262973b02185c01e7234ac459;p=msc-thesis1617.git

diff --git a/arch.devices.tex b/arch.devices.tex
index 8e0c181..db56b48 100644
--- a/arch.devices.tex
+++ b/arch.devices.tex
@@ -22,7 +22,7 @@ only took about an hour.
 		This port only uses functionality from the standard \gls{C} library and
 		therefore runs on \emph{Linux} and \emph{MacOS}.
 	\item Microcontrollers supported by the
-		\texttt{mbed}\footnote{\url{https://mbed.com}}.
+		\texttt{mbed}\footnote{\url{https://mbed.com}} environment.
 
 		This is tested in particular on the \texttt{STM32f7x} series \gls{ARM}
 		development board.
@@ -182,12 +182,12 @@ void run_task(struct task *t){
 			pc+=2;
 			break;
 		// ...
-		case BCADD: trace("add");
+		case BCADD:
 			stack[sp-2] = stack[sp-2] + stack[sp-1];
 			sp -= 1;
 			break;
 		// ...
-		case BCJMPT: trace("jmpt to %d", program[pc]);
+		case BCJMPT:
 			pc = stack[--sp] ? program[pc]-1 : pc+1;
 			break;
 		// ...