[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Fix scheduler in user-interrupt management
|
From: |
Mario Domenech Goulart |
|
Subject: |
Re: [PATCH] Fix scheduler in user-interrupt management |
|
Date: |
Sat, 07 Mar 2020 13:26:21 +0100 |
Hi,
On Wed, 4 Mar 2020 16:15:20 +0100 Sebastien Marie <address@hidden> 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
0001-Fix-scheduler-in-user-interrupt-management.patch
Description: Text Data