Reset character attributes before start of welcome banner, in case

it's a serial console and remembers state from the previous program
run.

diff --git a/src/hci/shell_banner.c b/src/hci/shell_banner.c
index 247a1053fd5408af0e27a49fd11dd49945cadd74..0448f99cd85166634caec00c914acd45c07c42dc 100644 (file)
--- a/src/hci/shell_banner.c
+++ b/src/hci/shell_banner.c
@@ -43,7 +43,7 @@ int shell_banner ( void ) {
        int enter_shell = 0;
 
        /* Print welcome banner */
-       printf ( "\n\n\n" BOLD "gPXE " VERSION
+       printf ( NORMAL "\n\n\n" BOLD "gPXE " VERSION
                 NORMAL " -- Open Source Boot Firmware -- "
                 CYAN "http://etherboot.org" NORMAL "\n"
                 "Press Ctrl-B for the gPXE command line..." );