1 files changed, 0 insertions, 11 deletions
diff --git a/util/vgabios/int15.c b/util/vgabios/int15.c
deleted file mode 100644
index a1235bbbf7..0000000000
--- a/util/vgabios/int15.c
+++ /dev/null
@@ -1,11 +0,0 @@
-#include <stdio.h>
-#include <stdtypes.h>
-#include "testbios.h"
-
-int int15_handler(void)
-{
-	printf("\nint15 encountered.\n");
-	x86emu_dump_xregs();
-	X86_EAX = 0;
-	return 1;
-}