Index: generic/src/proc/scheduler.c
===================================================================
--- generic/src/proc/scheduler.c	(revision 963074b3ec6ea15686d0e384d696e199e2b7741b)
+++ generic/src/proc/scheduler.c	(revision f52e54dadbe80854e27bf629c007718c8506e33f)
@@ -48,7 +48,16 @@
 #include <debug.h>
 
+static void before_task_runs(void);
+static void before_thread_runs(void);
+static void after_thread_ran(void);
 static void scheduler_separated_stack(void);
 
 atomic_t nrdy;	/**< Number of ready threads in the system. */
+
+/** Carry out actions before new task runs. */
+void before_task_runs(void)
+{
+	before_task_runs_arch();
+}
 
 /** Take actions before new thread runs.
@@ -435,4 +444,5 @@
 		}
 		TASK = THREAD->task;
+		before_task_runs();
 	}