I found something very interesting in http://bernia.disca.upv.es/rtportal/apps/edf-sched/index.html
I tried to patch rtlinux3.1 and seem to works. I wonder if this patch will be included in a future official distribution of rtlinux. thanks -- Massimiliano Cialdi [EMAIL PROTECTED] [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/
