camil's comment chp5

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

diff --git a/arch.devices.tex b/arch.devices.tex
index 8e0c181..db56b48 100644 (file)
--- 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;
                // ...