#include <pc80/mc146818rtc.h>
#include <fallback.h>
+#if CONFIG_HAVE_OPTION_TABLE
+#include <option_table.h>
+#endif
#ifndef CONFIG_MAX_REBOOT_CNT
#error "CONFIG_MAX_REBOOT_CNT not defined"
static int cmos_chksum_valid(void)
{
+#if CONFIG_HAVE_OPTION_TABLE == 1
unsigned char addr;
unsigned long sum, old_sum;
sum = 0;
old_sum |= cmos_read(LB_CKS_LOC+1);
return sum == old_sum;
+#else
+ return 0;
+#endif
}
/* The RTC_BOOT_BYTE is now o.k. see where to go. */
byte = cmos_read(RTC_BOOT_BYTE);
-
+
/* Are we in normal mode? */
if (byte & 1) {
byte &= 0x0f; /* yes, clear the boot count */