Stuart has stated the following:
RTL/RTAI work fine with fpu provided you inform RTL/RTAI
RTL: call rt_task_use_fp(&task, 1)
RTAI: call rt_linux_use_fpu(1) and set argument 6==1 when calling
rt_task_init.
It is correct, however RTAI also has the function "rt_task_use_fp(&task,
1)"
that paired to the above linux counterpart allows to dynamically switch
FPU support back and forth.
We placed the choice also at task init because all of our applications
use the FPU, in fact also the scheduler can be directly installed with
linux fpu support.
Ciao, Paolo.
--- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
----
For more information on Real-Time Linux see:
http://www.rtlinux.org/~rtlinux/
