Re: [PATCH] Fix scheduler in user-interrupt management

Mario Domenech Goulart writes: > Hi, > > On Wed, 4 Mar 2020 16:15:20 +0100 Sebastien Marie wrote: > >> Attached a patch for fixing #1638. > > Thanks a lot, Sebastien. Attached is your patch, signed-off. > Pushed. Thank for the analysis and fix, Sebastien!

Re: [PATCH] Fix scheduler in user-interrupt management

Hi, On Wed, 4 Mar 2020 16:15:20 +0100 Sebastien Marie wrote: > Attached a patch for fixing #1638. Thanks a lot, Sebastien. Attached is your patch, signed-off. All the best. Mario -- http://parenteses.org/mario >From 766f6a42457c2484bc4d096dc05eb1af2e70198a Mon Sep 17 00:00:00 2001 From: