2010-02-22 07:09:43 +01:00
|
|
|
#include <fallback.h>
|
|
|
|
#include <watchdog.h>
|
2003-04-22 21:02:15 +02:00
|
|
|
|
2016-12-11 11:56:37 +01:00
|
|
|
/* Implement platform specific override. */
|
2018-04-21 22:45:32 +02:00
|
|
|
void __weak set_boot_successful(void) { }
|
2005-07-08 04:49:49 +02:00
|
|
|
|
|
|
|
void boot_successful(void)
|
|
|
|
{
|
2019-03-06 01:53:33 +01:00
|
|
|
if (CONFIG(FRAMEBUFFER_SET_VESA_MODE) &&
|
|
|
|
CONFIG(VGA_TEXT_FRAMEBUFFER)) {
|
2017-05-20 16:46:01 +02:00
|
|
|
void vbe_textmode_console(void);
|
|
|
|
|
|
|
|
vbe_textmode_console();
|
|
|
|
}
|
2010-02-22 05:33:13 +01:00
|
|
|
|
2005-07-08 04:49:49 +02:00
|
|
|
/* Remember this was a successful boot */
|
|
|
|
set_boot_successful();
|
|
|
|
|
|
|
|
/* turn off the boot watchdog */
|
|
|
|
watchdog_off();
|
|
|
|
}
|