1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <fallback.h> 4 #include <watchdog.h> 5 6 /* Implement platform specific override. */ set_boot_successful(void)7void __weak set_boot_successful(void) { } 8 boot_successful(void)9void boot_successful(void) 10 { 11 if (CONFIG(FRAMEBUFFER_SET_VESA_MODE) && 12 CONFIG(VGA_TEXT_FRAMEBUFFER)) { 13 void vbe_textmode_console(void); 14 15 vbe_textmode_console(); 16 } 17 18 /* Remember this was a successful boot */ 19 set_boot_successful(); 20 21 /* turn off the boot watchdog */ 22 watchdog_off(); 23 } 24