Index: kernel/arch/arm32/include/fpu_context.h
===================================================================
--- kernel/arch/arm32/include/fpu_context.h	(revision 38969746d9dc0f1ac359900c2a1fea0087be378b)
+++ kernel/arch/arm32/include/fpu_context.h	(revision 28f81d21b72a50937dbe859ee4068d0920861718)
@@ -41,7 +41,13 @@
 #include <typedefs.h>
 
-#define FPU_CONTEXT_ALIGN    0
+#define FPU_CONTEXT_ALIGN    8
 
+/* ARM Architecture reference manual, p B-1529.
+ * We don't enable EX bit so max 32 64bit regs are stored (+2 control regs)
+ */
 typedef struct {
+	uint32_t fpuscr;
+	uint32_t fpuexc;
+	uint32_t s[64];
 } fpu_context_t;