Does Xilkernel support the FPU Core?
Xilkernel does not support the FPU Core. The stack boundary is not 64-bit aligned in the case of the double precision feature of the Virtex-5 FX APU_FPU Core, nor are the floating point registers saved during a context switch.
The only work-around for the Virtex-4 APU_FPU Core is to carefully manage your software application such that all floating point operations happen in a single thread in the case of context switching.