1 files changed, 0 insertions, 9 deletions
diff --git a/util/vgabios/int16.c b/util/vgabios/int16.c
deleted file mode 100644
index 06df8266af9a..000000000000
--- a/util/vgabios/int16.c
+++ /dev/null
@@ -1,9 +0,0 @@
-#include <stdio.h>
-#include "testbios.h"
-
-int int16_handler(void)
-{
-	printf("\nint16: keyboard not supported right now.\n");
-	x86emu_dump_xregs();
-	return 1;
-}