coreboot-kgpe-d16/util/vgabios/int16.c

8 lines
116 B
C

#include <stdio.h>
int int16_handler(void)
{
printf("\nint16: keyboard not supported right now.\n");
return 1;
}