*/
void post_code(uint8_t value)
{
+#if NO_POST==0
#if CONFIG_SERIAL_POST==1
- printk_info("POST: 0x%02x\n", value);
-#elsif !define(NO_POST)
+ printk_emerg("POST: 0x%02x\n", value);
+#endif
outb(value, 0x80);
#endif
}
/* Report a fatal error */
-void die(char *msg)
+void die(const char *msg)
{
printk_emerg("%s", msg);
post_code(0xff);