On Thu, 3 Mar 2016 09:28:01 +0000Juri Lelli <juri.lelli@arm.com> wrote:> That's the one that I use, and I'm not seeing any problems with it. I'll> send you the binary in private.That's the one I use too. BTW, Juri, do you plan on submitting patchesto schedtool upstream?-- Steve