[PATCH] sched/deadline: add overrun signal and GRUB-PA in the documentation

2018-04-03 Thread Claudio Scordino
Signed-off-by: Claudio Scordino CC: Juri Lelli CC: Luca Abeni CC: linux-kernel@vger.kernel.org CC: linux-...@vger.kernel.org --- Documentation/scheduler/sched-deadline.txt | 25 - 1 file

[PATCH] sched/deadline: add overrun signal and GRUB-PA in the documentation

2018-04-03 Thread Claudio Scordino
Signed-off-by: Claudio Scordino CC: Juri Lelli CC: Luca Abeni CC: linux-kernel@vger.kernel.org CC: linux-...@vger.kernel.org --- Documentation/scheduler/sched-deadline.txt | 25 - 1 file changed, 24 insertions(+), 1 deletion(-) diff --git