R&D: outline stack protection

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}