K 10 svn:author V 6 marcel K 8 svn:date V 27 2008-04-15T05:02:42.000000Z K 7 svn:log V 259 Support and switch to the ULE scheduler: o Implement IPI_PREEMPT, o Set td_lock for the thread being switched out, o For ULE & SMP, loop while td_lock points to blocked_lock for the thread being switched in, o Enable ULE by default in GENERIC and SKI, END