Re: [PATCH v5 2/2] sched/deadline: Update GRUB description in the documentation
From: Juri Lelli
Date: Thu Jun 01 2023 - 08:56:09 EST
On 30/05/23 09:55, Vineeth Pillai wrote:
> Update the details of GRUB to reflect the updated logic.
>
> Signed-off-by: Vineeth Pillai (Google) <vineeth@xxxxxxxxxxxxxxx>
> ---
Acked-by: Juri Lelli <juri.lelli@xxxxxxxxxx>
Best,
Juri