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的唯一解决方法是仔细管理您的软件应用程序,以便在上下文切换的情况下,所有浮点运算都在单个线程中进行。

编辑 重设标签(回车键确认) 标为违禁 关闭 合并 删除

提问于 2018-08-18 20:18:40 +0800

这个帖子被标记为一个社区wiki

这个帖子是一个wiki(维基). 任何一个积分 >500的人都可以完善它