diff --git a/src/docs/parts/research_and_development/research_and_development.tex b/src/docs/parts/research_and_development/research_and_development.tex index b72bc6e..05a831d 100644 --- a/src/docs/parts/research_and_development/research_and_development.tex +++ b/src/docs/parts/research_and_development/research_and_development.tex @@ -46,7 +46,18 @@ Guarantees to be statically checked: \subsection{Redox} \subsection{Tock} -\chapter{Introduce Preemptive \gls{OS}-Level Multitasking to \gls{imezzos}} +\chapter{\gls{imezzos}: Adding Preemptive \gls{OS}-Level Multitasking} + +\section{Timed Interrupts For Scheduling and Dispatching} +\section{Simple Stack Allocation Scheme} + +\section{Risk Of Stack-Overflow} +* TODO: The compiler doesn't check for stack overflows. +* TODO: Describe possible implementation. + Parameters: + Stack limit for each function: user defined constant, + Stack size for each function: calculated, + Call-Tree: calculated, \chapter{Result Generalization}