diff --git a/src/arch/i386/firmware/pcbios/bios_console.c b/src/arch/i386/firmware/pcbios/bios_console.c index 33dd2ad5..f6867edb 100644 --- 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 */