When you're in the RT kernel bit, is there a simple way to grab a taskid? As far as I can see, it all runs on a linked list of tasks, and at no point are they actually enumerated. Is this right?
If so, is there an easy way to from, say, rtl_sched.c, get a unique number for each and every task? Ta, Gary (-; -- [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/
