/*
* This file is part of the coreboot project.
- *
+ *
* Copyright (C) 2003 Eric Biederman
*
* This program is free software; you can redistribute it and/or
void post_code(uint8_t value)
{
-#if !defined(CONFIG_NO_POST) || CONFIG_NO_POST==0
-#if CONFIG_CONSOLE_POST==1
+#if !CONFIG_NO_POST
+#if CONFIG_CONSOLE_POST
print_emerg("POST: 0x");
print_emerg_hex8(value);
print_emerg("\n");
#endif
- outb(value, 0x80);
+ outb(value, CONFIG_POST_PORT);
#endif
}