Re: [PATCH 0/4] SCHED_DEADLINE fixes and cleanups

From: Peter Zijlstra
Date: Mon Oct 02 2017 - 04:19:04 EST




Sorry for the delay, but picked them up now.