1 #include <console/console.h>
4 #include <pc80/mc146818rtc.h>
8 void set_boot_successful(void)
10 /* Remember I succesfully booted by setting
11 * the initial boot direction
12 * to the direction that I booted.
14 unsigned char index, byte;
15 index = inb(RTC_PORT(0)) & 0x80;
16 index |= RTC_BOOT_BYTE;
17 outb(index, RTC_PORT(0));
19 byte = inb(RTC_PORT(1));
21 byte |= (byte & (1 << 1)) >> 1;
23 /* If we are in normal mode set the boot count to 0 */
26 outb(byte, RTC_PORT(1));
29 void boot_successful(void)
31 #if CONFIG_FRAMEBUFFER_SET_VESA_MODE && !CONFIG_FRAMEBUFFER_KEEP_VESA_MODE
32 void vbe_textmode_console(void);
34 vbe_textmode_console();
36 /* Remember this was a successful boot */
37 set_boot_successful();
39 /* turn off the boot watchdog */