K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2015-01-03T23:57:03.842790Z
K 7
svn:log
V 73
Switch all arm kernels with option SMP to use SCHED_ULE instead of 4BSD.

END