Enabled rate optimised real time scheduling by default. (#8685)
commit2063ae4c6459def1ff5d69194cf80ad53518dbe1
authorMichael Keller <github@ike.ch>
Sat, 10 Aug 2019 05:25:30 +0000 (10 17:25 +1200)
committerGitHub <noreply@github.com>
Sat, 10 Aug 2019 05:25:30 +0000 (10 17:25 +1200)
treede83abf170c8b0e2717abcf75c8dd89a3dc18ccf
parentadb477c0a7dc5a398c99dbae7cf70c7a40b968ec
parent3dc6eb6422930a9212fd3bad4d9528fd6104f81e
Enabled rate optimised real time scheduling by default. (#8685)

Enabled rate optimised real time scheduling by default.