| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| #include <fallback.h> | |
| #include <watchdog.h> | |
| /* Implement platform specific override. */ | |
| void __weak set_boot_successful(void) { } | |
| void boot_successful(void) | |
| { | |
| if (CONFIG(FRAMEBUFFER_SET_VESA_MODE) && | |
| CONFIG(VGA_TEXT_FRAMEBUFFER)) { | |
| void vbe_textmode_console(void); | |
| vbe_textmode_console(); | |
| } | |
| /* Remember this was a successful boot */ | |
| set_boot_successful(); | |
| /* turn off the boot watchdog */ | |
| watchdog_off(); | |
| } |