K 10
svn:author
V 8
ssouhlal
K 8
svn:date
V 27
2005-02-04T06:16:05.000000Z
K 7
svn:log
V 189
Set the scheduling class of the idle threads to PRI_IDLE.
While there, set their priority with sched_prio() instead of changing it
'by hand'.

Reviewed by:	jhb
Approved by:	grehan (mentor)

END