cpu/intel: Add socket types
[coreboot2.git] / src / lib / fallback_boot.c
blobbd8503b664977081e4077ff74d7f61fb2736b023
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <fallback.h>
4 #include <watchdog.h>
6 /* Implement platform specific override. */
7 void __weak set_boot_successful(void) { }
9 void boot_successful(void)
11 if (CONFIG(FRAMEBUFFER_SET_VESA_MODE) &&
12 CONFIG(VGA_TEXT_FRAMEBUFFER)) {
13 void vbe_textmode_console(void);
15 vbe_textmode_console();
18 /* Remember this was a successful boot */
19 set_boot_successful();
21 /* turn off the boot watchdog */
22 watchdog_off();