On Thu, 3 Mar 2016 09:28:01 +0000 Juri Lelli <juri.le...@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 patches to schedtool upstream? -- Steve
