Index: src/proc/scheduler.c
===================================================================
--- src/proc/scheduler.c	(revision be50915b55e66438dd5e7bb881b76268b26a5dee)
+++ src/proc/scheduler.c	(revision 0c47db1790819c45bc70d5e7cfa28edd765464aa)
@@ -55,4 +55,11 @@
 volatile int nrdy;
 
+void before_thread_runs(void)
+{
+	before_thread_runs_arch(); 
+	fpu_context_restore();
+}
+
+
 void scheduler_init(void)
 {