summaryrefslogtreecommitdiff
path: root/config/git/pico-serprog/pkg.cfg
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2024-07-22 18:47:38 +0100
committerLeah Rowe <leah@libreboot.org>2024-07-22 18:47:38 +0100
commit40dd0a7cf35fe75e3e2ac14eecec256d918f33bc (patch)
tree3f8a86e839018060a65ec88d67d5dc8203fc0f90 /config/git/pico-serprog/pkg.cfg
parentd070eb1fefca339b6fea0f262fcb889a16d2b27d (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