Hi, Which timer uses the scheduler ? Which resolution does it have ? Can I change this resolution ? Which hardware device is related with this timer ? Where can I get information about this topic ? Best Regards, R. Costa-Castello ----- End of forwarded message from [EMAIL PROTECTED] ----- -- [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/
