isa-vga looks for vgabios.bin which doesn't come with the seabios package on Arch (it's called vgabios-isavga.bin instead). VGA (pci-vga) on the other hand looks for vgabios-stdvga.bin which works.
But obviously I'd prefer not to maintain that hack.
Switching to pci-vga is currently blocked on (obviously) PCI support, since using isa-vga is what makes hard-coding the framebuffer address work. The PCI variant requires reading the address from the BAR.
isa-vga looks for
vgabios.bin
which doesn't come with theseabios
package on Arch (it's calledvgabios-isavga.bin
instead). VGA (pci-vga) on the other hand looks forvgabios-stdvga.bin
which works.Current workaround is:
But obviously I'd prefer not to maintain that hack.
Switching to pci-vga is currently blocked on (obviously) PCI support, since using isa-vga is what makes hard-coding the framebuffer address work. The PCI variant requires reading the address from the BAR.