added testbios for V2

[coreboot.git] / util / vgabios / int15.c

diff --git a/util/vgabios/int15.c b/util/vgabios/int15.c
new file mode 100644 (file)
index 0000000..59af923
--- /dev/null
+++ b/util/vgabios/int15.c
@@ -0,0 +1,12 @@
+#include <stdio.h>
+#include "test.h"
+
+void x86emu_dump_xregs();
+
+int int15_handler(void)
+{
+       printf("\nint15 encountered.\n");
+       x86emu_dump_xregs();
+       X86_EAX = 0;
+       return 1;
+}