virtex4 RTOS with hw FPU.

[Fillod Stephane]

vadik wrote:
> I have implementation of Virtex4 with hw FPU trough APU .
>
>Is there any Real Time OS that directly supports this implementation
without
>relying on sw floating point emulation.

This is a matter of tool chain and setup of your kernel?

>Xilinx Relesed GCC build of their own that is patched to support the
apu fpu
>implementation , but this helps me on the application level but if the
>kernel doesn't support this implemntation i have a problem .

Indeed, the kernel has to save and restore FPU registers upon task
switch.

You should look for CONFIG_PPC_FPU in the Kconfig of Linux.
I can't help you more, because I'm not used to the ppc in Virtex4.
However, there must be some appropriate forums on Xilinx site.

>linux is not RT enough , does the linuxwoks supports this kind of
>implementation ?

Have you considered Xenomai[1], the F/OSS hard real-time extension to
Linux?
It works great on all range of powerpc's, and it is rock solid.

[1] http://xenomai.org

Regards
-- 
Stephane