diff options
author | Leah Rowe <leah@libreboot.org> | 2024-07-22 18:47:38 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2024-07-22 18:47:38 +0100 |
commit | 40dd0a7cf35fe75e3e2ac14eecec256d918f33bc (patch) | |
tree | 3f8a86e839018060a65ec88d67d5dc8203fc0f90 /config/git/pico-serprog/pkg.cfg | |
parent | d070eb1fefca339b6fea0f262fcb889a16d2b27d (diff) |
rom.sh: also add grub to seabios images
we want multiple seagrub images made, with different
keymaps, but we only want one non-seagrub image.
however, we also want grub in the non-seagrub image.
it just means that seabios is primarily what the user
wants, and they might occasionally use grub, whereas
the seagrub images are for people who primarily want
grub but may occasionally access the seabios menu.
right now, the seabios images really only contain seabios,
but there's no harm in adding grub to them.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/git/pico-serprog/pkg.cfg')
0 files changed, 0 insertions, 0 deletions