diff options
author | Leah Rowe <leah@libreboot.org> | 2024-06-01 17:04:31 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2024-06-01 18:12:40 +0100 |
commit | cfc5265f5b3e0c1202606be3bcaece0010dd208d (patch) | |
tree | 061bffa8c54bb1cc57ca9f25775f3ff38a3d4bad /include/mrc.sh | |
parent | 42b5b58d36e087fc8e66a0e9d14bf656a8363f54 (diff) |
grub.cfg: search a reduced list of devs/partitions
in practise, the machines we support don't have
the option of including so many disks; 8 seems like
the most reasonable default. additionally, it's
unreasonable to expect *20 partitions*
this hardcoding is done to avoid using *, which is
slow in grub on some machines (the grub kernel always
re-enumerates the devices during every operation,
without caching any of it)
yet, the hardcoding is also slow; balance it a bit
better by searching fewer permutations, but not so few
that it would likely break a lot of setups
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'include/mrc.sh')
0 files changed, 0 insertions, 0 deletions