1 files changed, 12 insertions, 0 deletions
diff --git a/util/vgabios/int15.c b/util/vgabios/int15.c
new file mode 100644
index 0000000000..59af923ad1
--- /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;
+}