Index: include/context.h
===================================================================
--- include/context.h	(revision f761f1eb635bfe9a5deaf70a0f0a51aa8d2f5f22)
+++ include/context.h	(revision 00a44bcdbac2f97f6c5a0ff1720644725999356e)
@@ -31,7 +31,11 @@
 
 #include <typedefs.h>
+#include "fpu_context.h"
+
 
 extern int context_save(context_t *c);
 extern void context_restore(context_t *c) __attribute__ ((noreturn));
 
+
+
 #endif