diff options
author | Leah Rowe <leah@libreboot.org> | 2023-09-08 23:48:06 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2023-09-09 00:01:22 +0100 |
commit | a69e8548b360e288b3e534cfbc201a5fb410e885 (patch) | |
tree | 41429e3b49711fb3a410cd3d564e2b7e08980087 /config/grub/patches/0004-Define-GRUB_UINT32_MAX.patch | |
parent | 4a459b0217c45a9dbd761793b040be67502c4d7e (diff) |
set grub.cfg timeout to 5s (10 on some boards)
target.cfg can now specify e.g.
grub_timeout=20
this would then be inserted as timeout.cfg in cbfs,
containing the instruction:
set timeout=20
HP laptops need a bit of extra time, due to the delay
caused by the EC bug workaround deployed in GRUB
desktops in general need extra time. this too is set to
10s, like the HP laptops.
only insert timeout.cfg if actually needed (declared in
target.cfg), otherwise grub.cfg will default to 5s
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/grub/patches/0004-Define-GRUB_UINT32_MAX.patch')
0 files changed, 0 insertions, 0 deletions