On Mon, Feb 08, 2021 at 08:35:52AM +0100, Juri Lelli wrote:> Juri Lelli (2):> sched/features: Fix hrtick reprogramming> sched/features: Distinguish between NORMAL and DEADLINE hrtickThanks!