#include <console/console.h>
-#include <part/fallback_boot.h>
+#include <fallback.h>
+#include <watchdog.h>
#include <pc80/mc146818rtc.h>
#include <arch/io.h>
-void boot_successful(void)
+
+void set_boot_successful(void)
{
/* Remember I succesfully booted by setting
* the initial boot direction
byte = inb(RTC_PORT(1));
byte &= 0xfe;
- byte |= (byte & 2) >> 1;
+ byte |= (byte & (1 << 1)) >> 1;
/* If we are in normal mode set the boot count to 0 */
if(byte & 1)
byte &= 0x0f;
outb(byte, RTC_PORT(1));
}
+
+void boot_successful(void)
+{
+#if CONFIG_FRAMEBUFFER_SET_VESA_MODE && !CONFIG_FRAMEBUFFER_KEEP_VESA_MODE
+ void vbe_textmode_console(void);
+
+ vbe_textmode_console();
+#endif
+ /* Remember this was a successful boot */
+ set_boot_successful();
+
+ /* turn off the boot watchdog */
+ watchdog_off();
+}