diff options
author | Leah Rowe <leah@libreboot.org> | 2024-10-06 10:31:36 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2024-10-06 10:31:36 +0100 |
commit | f4de640e451ce3bb7b0bb19705ba3847471079d0 (patch) | |
tree | 16620a32ee01d75336c284639717086801f02e43 /config/vendor/hp8470pintel/pkg.cfg | |
parent | c99dced5b1022fd2053fa8e47785ce83f4e05f90 (diff) |
rom.sh: disable seabios-as-primary if grub is main
on 3050micro, we disable seabios as a primary payload,
making grub a pribary payload instead.
the way it worked, the roms were still named seagrub
and the seabios rom would be compiled, but with the wrong
path, so seabios wouldn't be executed; seabios would hang
anyway, on this board.
instead, engineer it in such a way as to disable seabios_
images on this board. also, rename seagrub_ to grub_.
i normally only permit seagrub, and not grub, but i make an
exception for 3050micro because we know grub works, but seabios
currently hangs on this board (which means no bsd).
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/vendor/hp8470pintel/pkg.cfg')
0 files changed, 0 insertions, 0 deletions