Hi,
I've seen in some papers that RT-Linux already implements three kind of
schedulers; the first one which activates the task with highest priority
first, the second one which uses the "Earliest Deadline First"
algorithm, and the third one which is ???
Another thing I haven't understood is how do you specify which scheduler
you use ? How do you do it ? Where do you it ?
Thanks,
P. Peiffer
--- [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/
