06-21-2009 07:42 AM
Hi. There are a lot of OSes for PPC405, but it seems they don't support FPU. May I use xilkernel for this purposes?
06-21-2009 10:07 AM
06-22-2009 01:12 AM
07-28-2009 06:06 AM
We were planing to use Virtex-5 FPU with XilKernel. Then I saw this thread and the AR. Since both XilKernel and Virtex-5 FPU are product of Xilinx I have never thought that they won't work together. Technical support also confirmed this.
It is very strange.
And I can't find any info in the Xilinx's documentation about this situation.
But, BlueCat Linux of LynuxWorks supports PPC405 FPU.