Some BIOSes return 0xe0 for extended characters. Just assume that

[gpxe.git] / src / arch / i386 / firmware / pcbios / bios_console.c

diff --git a/src/arch/i386/firmware/pcbios/bios_console.c b/src/arch/i386/firmware/pcbios/bios_console.c
index 33dd2ad..f6867ed 100644 (file)
--- a/src/arch/i386/firmware/pcbios/bios_console.c
+++ b/src/arch/i386/firmware/pcbios/bios_console.c
@@ -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 */