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 12/15/2012
Status Active
Type General Article
People Also Viewed