coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
fallback_boot.c
Go to the documentation of this file.
1 #include <fallback.h>
2 #include <watchdog.h>
3 
4 /* Implement platform specific override. */
5 void __weak set_boot_successful(void) { }
6 
7 void boot_successful(void)
8 {
9  if (CONFIG(FRAMEBUFFER_SET_VESA_MODE) &&
10  CONFIG(VGA_TEXT_FRAMEBUFFER)) {
11  void vbe_textmode_console(void);
12 
14  }
15 
16  /* Remember this was a successful boot */
18 
19  /* turn off the boot watchdog */
20  watchdog_off();
21 }
@ CONFIG
Definition: dsi_common.h:201
void boot_successful(void)
Definition: fallback_boot.c:7
void __weak set_boot_successful(void)
Definition: fallback_boot.c:5
const struct smm_save_state_ops *legacy_ops __weak
Definition: save_state.c:8
void watchdog_off(void)
Definition: watchdog.c:15
void vbe_textmode_console(void)