On Tue, Oct 31, 2017 at 10:42 AM, Martin K. Petersen <martin.petersen@xxxxxxxxxx> wrote: > > Bart, > >> The tree I tested indeed includes that rebased patch. BTW, since the code >> touched by that patch has not been modified in the past months, the rebased >> patch is identical to the patch I posted in May 2017. > > OK. Just checking. > > So what's the plan here? Should both patches be routed through the timer > tree? That was my plan. Does that sound okay? -Kees -- Kees Cook Pixel Security