Main
Home  :  Support  :  Answers  :  11.1 EDK - Does Xilkernel support the FPU Core design for the Power PC 405 and Power PC 440?

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

AR# 31607

Search For Another Answer
Topic EDK-RTOS
Last Updated 04/28/2009
Status Active
Description

Keywords: float, double, point, unit, auxiliary, processor, unit, APU, power, pc, 405, 440, ppc, context, switch, interrupt, register

Does Xilkernel support the FPU Core?

Solution

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.


 
 
/csi/footer.htm