11.1 EDK – Xilkernel是否支持Power PC 405和Power PC 440的FPU Core设计？

问题描述

Xilkernel是否支持FPU Core？

解决/修复方法

Xilkernel不支持FPU Core。在Virtex-5 FX APU_FPU内核的双精度特性的情况下，堆栈边界不是64位对齐，在上下文切换期间也不保存浮点寄存器。

Virtex-4 APU_FPU Core的唯一解决方法是仔细管理您的软件应用程序，以便在上下文切换的情况下，所有浮点运算都在单个线程中进行。