@@ -3131,6 +3131,11 @@ void isa_cirrus_vga_init(void)
&s->vga);
vmstate_register(0, &vmstate_cirrus_vga, s);
rom_add_vga(VGABIOS_CIRRUS_FILENAME);
+
+ /* XXX Bochs BIOS re-enable hack */
+#ifdef TARGET_I386
+ rom_add_file_fixed(VGABIOS_CIRRUS_FILENAME, 0xc0000);
+#endif
/* XXX ISA-LFB support */
}
@@ -3217,6 +3222,11 @@ static int pci_cirrus_vga_initfn(PCIDevice *dev)
void pci_cirrus_vga_init(PCIBus *bus)
{
pci_create_simple(bus, -1, "cirrus-vga");
+
+ /* XXX Bochs BIOS re-enable hack */
+#ifdef TARGET_I386
+ rom_add_file_fixed(VGABIOS_CIRRUS_FILENAME, 0xc0000);
+#endif
}
static PCIDeviceInfo cirrus_vga_info = {
@@ -45,5 +45,10 @@ int isa_vga_init(void)
vga_init_vbe(s);
/* ROM BIOS */
rom_add_vga(VGABIOS_FILENAME);
+
+ /* XXX Bochs BIOS re-enable hack */
+#ifdef TARGET_I386
+ rom_add_file_fixed(VGABIOS_FILENAME, 0xc0000);
+#endif
return 0;
}
@@ -109,6 +109,11 @@ static int pci_vga_initfn(PCIDevice *dev)
vga_init_vbe(s);
/* ROM BIOS */
rom_add_vga(VGABIOS_FILENAME);
+
+ /* XXX Bochs BIOS re-enable hack */
+#ifdef TARGET_I386
+ rom_add_file_fixed(VGABIOS_FILENAME, 0xc0000);
+#endif
return 0;
}