1  /* SPDX-License-Identifier: GPL-2.0-only */
 2  
 3  #include <fallback.h>
 4  #include <watchdog.h>
 5  
 6  /* Implement platform specific override. */
 7  void __weak set_boot_successful(void) { }
 8  
 9  void 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  }