We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 31607

11.1 EDK - Does Xilkernel support the FPU Core design for the Power PC 405 and Power PC 440?


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.

AR# 31607
Date Created 09/04/2008
Last Updated 12/15/2012
Status Active
Type General Article