00001 #include <console/loglevel.h>
00002
00003 #if CONFIG_USE_PRINTK_IN_CAR == 0
00004 static void __console_tx_byte(unsigned char byte)
00005 {
00006 uart_tx_byte(byte);
00007 }
00008
00009 #include "console_print.c"
00010
00011 #else
00012
00013
00014 #include "console_printk.c"
00015
00016 #if CONFIG_USE_INIT == 0
00017
00018 #include "../../../console/vtxprintf.c"
00019 #include "printk_init.c"
00020 #endif
00021
00022 #endif
00023
00024 #ifndef COREBOOT_EXTRA_VERSION
00025 #define COREBOOT_EXTRA_VERSION ""
00026 #endif
00027
00028 static void console_init(void)
00029 {
00030 static const char console_test[] =
00031 "\r\n\r\ncoreboot-"
00032 COREBOOT_VERSION
00033 COREBOOT_EXTRA_VERSION
00034 " "
00035 COREBOOT_BUILD
00036 " starting...\r\n";
00037 print_info(console_test);
00038 }
00039
00040
00041 static void die(const char *str)
00042 {
00043 print_emerg(str);
00044 do {
00045 hlt();
00046 } while(1);
00047 }