[PATCH] Fix scheduler in user-interrupt management

chicken-hackers

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

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH] Fix scheduler in user-interrupt management, Sebastien Marie <=
- Re: [PATCH] Fix scheduler in user-interrupt management, Mario Domenech Goulart, 2020/03/07
  - Re: [PATCH] Fix scheduler in user-interrupt management, megane, 2020/03/07