|
From: | Sebastien Marie |
Subject: | [PATCH] Fix scheduler in user-interrupt management |
Date: | Wed, 4 Mar 2020 16:15:20 +0100 |
Hi, Attached a patch for fixing #1638. Thanks. -- Sebastien Marie
0001-Fix-scheduler-in-user-interrupt-management.patch
Description: Text document
[Prev in Thread] | Current Thread | [Next in Thread] |