virtex4 RTOS with hw FPU.

virtex4 RTOS with hw FPU.

[vadik]

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.

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 .

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

Thank you.
Vadim.


-- 
View this message in context: http://www.nabble.com/virtex4-RTOS-with-hw-FPU.-tp20789399p20789399.html
Sent from the linuxppc-embedded mailing list archive at Nabble.com.

RE: 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
--=20
Stephane