4 files changed, 37 insertions, 14 deletions
diff --git a/src/arch/x86/Makefile.inc b/src/arch/x86/Makefile.inc
index 6ed93e5182..534f2ce20d 100644
--- a/src/arch/x86/Makefile.inc
+++ b/src/arch/x86/Makefile.inc
@@ -99,6 +99,7 @@ all-y += boot.c
 all-y += memcpy.c
 all-y += memset.c
 all-y += cpu_common.c
+all-y += post.c
 
 endif
 
diff --git a/src/arch/x86/post.c b/src/arch/x86/post.c
new file mode 100644
index 0000000000..0a20babae1
--- /dev/null
+++ b/src/arch/x86/post.c
@@ -0,0 +1,26 @@
+/*
+ * This file is part of the coreboot project.
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License as
+ * published by the Free Software Foundation; version 2 of
+ * the License.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ */
+
+#include <stdint.h>
+#include <console/console.h>
+#include <arch/io.h>
+
+void arch_post_code(uint8_t value)
+{
+	if (CONFIG(POST_IO))
+		outb(value, CONFIG_POST_IO_PORT);
+
+	if (CONFIG(CMOS_POST))
+		cmos_post_code(value);
+}
diff --git a/src/console/post.c b/src/console/post.c
index b9a7557f63..33d85e7675 100644
--- a/src/console/post.c
+++ b/src/console/post.c
@@ -14,11 +14,9 @@
 
 #include <stdint.h>
 #include <console/console.h>
-#if CONFIG(POST_IO)
-#include <arch/io.h>
-#endif
 
 /* Write POST information */
+void __weak arch_post_code(uint8_t value) { }
 
 /* Some mainboards have very nice features beyond just a simple display.
  * They can override this function.
@@ -27,16 +25,13 @@ void __weak mainboard_post(uint8_t value) { }
 
 void post_code(uint8_t value)
 {
-#if !CONFIG(NO_POST)
-#if CONFIG(CONSOLE_POST)
-	printk(BIOS_EMERG, "POST: 0x%02x\n", value);
-#endif
-#if CONFIG(CMOS_POST)
-	cmos_post_code(value);
-#endif
-#if CONFIG(POST_IO)
-	outb(value, CONFIG_POST_IO_PORT);
-#endif
-#endif
+	if (!CONFIG(NO_POST)) {
+		/* Assume this to be the most reliable and simplest type
+		   for displaying POST so keep it first. */
+		arch_post_code(value);
+
+		if (CONFIG(CONSOLE_POST))
+			printk(BIOS_EMERG, "POST: 0x%02x\n", value);
+	}
 	mainboard_post(value);
 }
diff --git a/src/include/console/console.h b/src/include/console/console.h
index d3c1d54dbc..c573123d60 100644
--- a/src/include/console/console.h
+++ b/src/include/console/console.h
@@ -29,6 +29,7 @@
 #include <console/vtxprintf.h>
 
 void post_code(u8 value);
+void arch_post_code(u8 value);
 void cmos_post_code(u8 value);
 #if CONFIG(CMOS_POST_EXTRA)
 void post_log_extra(u32 value);