Re: [PATCH v5 2/2] sched/deadline: Update GRUB description in the documentation

From: Daniel Bristot de Oliveira
Date: Thu Jun 01 2023 - 06:36:24 EST

On 5/30/23 15:55, Vineeth Pillai wrote:
> Update the details of GRUB to reflect the updated logic.
>
> Signed-off-by: Vineeth Pillai (Google) <vineeth@xxxxxxxxxxxxxxx>

Reviewed-by: Daniel Bristot de Oliveira <bristot@xxxxxxxxxx>

Thanks!
-- Daniel