1 /* SPDX-License-Identifier: GPL-2.0-only */
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 */