X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Fgreen.tex;h=83734feab61bcd3d79d848be19f4e4a653d70cc0;hb=5a27c37e8d41687aae6fc84e92c7d630880618bf;hp=45e2e0c996bf27725f71174d6e3fd6018bb93e5a;hpb=27d1d51bf3f3acc08c002a5d58af6a4f4332e3f8;p=phd-thesis.git

diff --git a/top/green.tex b/top/green.tex
index 45e2e0c..83734fe 100644
--- a/top/green.tex
+++ b/top/green.tex
@@ -2,6 +2,8 @@
 
 \input{subfilepreamble}
 
+\setcounter{chapter}{6}
+
 \begin{document}
 \input{subfileprefix}
 \chapter{Green computing with \texorpdfstring{\gls{MTASK}}{mTask}}%
@@ -348,7 +350,7 @@ timedPulseNaive = declarePin D0 PMOutput \d0->
 	}
 \end{lstClean}
 
-\section{Task scheduling in the \texorpdfstring{\gls{MTASK}}{mTask} engine}
+\section{Task scheduling in the \texorpdfstring{\gls{MTASK}}{mTask} engine}\label{sec:scheduling}
 The rewrite rates from the previous section only tell us how much the next evaluation of the task can be delayed.
 An \gls{IOT} edge devices executes multiple tasks may run interleaved.
 In addition, it has to communicate with a server to collect new tasks and updates of \glspl{SDS}.