Manually generated by Teo En Ming (Zhang Enming) on 29 August 2009 Saturday at 11:10 A.M. Singapore Time
Email #1: enming.teo@xxxxxxxxxxxxxxx
Email #2: space.time.universe@xxxxxxxxx
MSN: teoenming@xxxxxxxxxxx

--- Makefile	2009-08-29 10:57:28.072084001 +0800
+++ Makefile	2009-08-29 11:03:30.650209241 +0800
@@ -50,6 +50,7 @@
 roms.h: ../rombios/BIOS-bochs-latest ../vgabios/VGABIOS-lgpl-latest.bin \
 	../vgabios/VGABIOS-lgpl-latest.cirrus.bin ../etherboot/eb-roms.h
 	sh ./mkhex rombios ../rombios/BIOS-bochs-latest > roms.h
+	sh ./mkhex vgabios_pt ../vgabios/vgabios-pt.bin >> roms.h
 	sh ./mkhex vgabios_stdvga ../vgabios/VGABIOS-lgpl-latest.bin >> roms.h
 	sh ./mkhex vgabios_cirrusvga \
 		../vgabios/VGABIOS-lgpl-latest.cirrus.bin >> roms.h
--- hvmloader.c	2009-08-29 10:58:52.679084845 +0800
+++ hvmloader.c	2009-08-29 11:07:40.763119203 +0800
@@ -688,10 +688,10 @@
         vgabios_sz = round_option_rom(sizeof(vgabios_stdvga));
         break;
     case VGA_pt:
-        printf("Loading VGABIOS of passthroughed gfx ...\n");
-        vgabios_sz =
-            round_option_rom((*(uint8_t *)(VGABIOS_PHYSICAL_ADDRESS+2)) * 512);
-        break;
+        printf("Loading Gfx Video BIOS from file ...\n");
+	memcpy((void *)VGABIOS_PHYSICAL_ADDRESS, vgabios_pt, sizeof(vgabios_pt));
+	vgabios_sz = round_option_rom(sizeof(vgabios_pt));
+	break;
     default:
         printf("No emulated VGA adaptor ...\n");
         break;