device: Consider fw_config probing in `is_dev_enabled()`
[coreboot.git] / src / console / post.c
blob21ab00084a9a2feb989fac069c51f8e714e871ba
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <stdint.h>
4 #include <console/console.h>
6 /* Write POST information */
7 void __weak arch_post_code(uint8_t value) { }
9 /* Some mainboards have very nice features beyond just a simple display.
10 * They can override this function.
12 void __weak mainboard_post(uint8_t value) { }
14 void post_code(uint8_t value)
16 if (!CONFIG(NO_POST)) {
17 /* Assume this to be the most reliable and simplest type
18 for displaying POST so keep it first. */
19 arch_post_code(value);
21 if (CONFIG(CONSOLE_POST))
22 printk(BIOS_EMERG, "POST: 0x%02x\n", value);
24 mainboard_post(value);