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