On Thu, Aug 31, 2017 at 10:27:58AM +0200, Martijn Coenen wrote: > On Thu, Aug 31, 2017 at 10:18 AM, Peter Zijlstra <peterz@xxxxxxxxxxxxx> wrote: > > You fail to support SCHED_DEADLINE, that's not optional. > > The reason I didn't include it is that we don't use SCHED_DEADLINE in > Android userspace. AFAIK people are actively working on fixing that. I still have to look at the actual patches, but it all sounds very dodgy. Probably won't have time until after LPC. _______________________________________________ devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxx http://driverdev.linuxdriverproject.org/mailman/listinfo/driverdev-devel