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