Index: include/proc/thread.h
===================================================================
--- include/proc/thread.h	(revision cb4b61d90a7db05768043294b12025328b4f7a02)
+++ include/proc/thread.h	(revision 4e1d008f0a336b65b7e5ee6c99877490114a7ecd)
@@ -73,5 +73,7 @@
 	context_t saved_context;
 	context_t sleep_timeout_context;
-
+	fpu_context_t saved_fpu;	               
+	
+	
 	waitq_t *sleep_queue;
 	timeout_t sleep_timeout;