K 10
svn:author
V 11
bruceperens
K 8
svn:date
V 27
2014-01-21T21:21:55.356393Z
K 7
svn:log
V 106
Set real-time priority. The version in source/platform/linux/scheduler.cpp
is (of course) Linux-specific.

END
