/** Kernel code for run_blocking
*
- * This looks a lot like SIMIX_run_kernel ^^
+ * The implementtion looks a lot like SIMIX_run_kernel ^^
*
* However, this `run_blocking` is blocking so the process will not be woken
* up until `SIMIX_simcall_answer(simcall)`` is called by the kernel.