/* 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();
}