Fix a debug whereby the debug banner was being printed to the debug output rather than the console.

Signed-off-by: Mark Cave-Ayland <mark.cave-ayland@siriusit.co.uk>


git-svn-id: svn://coreboot.org/openbios/trunk/openbios-devel@701 f158a5a8-5612-0410-a976-696ce0be7e32
This commit is contained in:
Mark Cave-Ayland
2010-03-14 21:35:54 +00:00
committed by Mark Cave-Ayland
parent 4bc97b7c9f
commit cbb3d8bf5b

View File

@@ -635,7 +635,7 @@ do_source_dbg( struct debug_xt *debug_xt_item )
default:
/* Display debug banner */
printk(DEBUG_BANNER);
printf_console(DEBUG_BANNER);
while (!availchar());
k = getchar();
}