Some BIOSes return 0xe0 for extended characters. Just assume that
authorMichael Brown <mcb30@etherboot.org>
Thu, 21 Dec 2006 00:07:48 +0000 (00:07 +0000)
committerMichael Brown <mcb30@etherboot.org>
Thu, 21 Dec 2006 00:07:48 +0000 (00:07 +0000)
anything over 0x80 is an extended character.

src/arch/i386/firmware/pcbios/bios_console.c

index 33dd2ad..f6867ed 100644 (file)
@@ -249,7 +249,7 @@ static int bios_getchar ( void ) {
        character = ( keypress & 0xff );
 
        /* If it's a normal character, just return it */
-       if ( character )
+       if ( character < 0x80 )
                return character;
 
        /* Otherwise, check for a special key that we know about */