[rtl] Use of rt_use_fp()

[SteenbeckDigital]

void handler(int i)
{

  float offset = 0;
  RTIME now, rt_time;

  rt_use_fp(1); // here please
  while(1) {

    now = rt_get_time();
    offset = (float)(now - rt_time) * 3.2227;
    rt_time = now;
    rt_task_wait();
  }
}

this will tell scheduler to save fpu for you.
--- [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/