#include <lib.h> /* Prototypes */
#include <arch/io.h>
#include "pc80/mc146818rtc.h"
+#if CONFIG_USE_OPTION_TABLE
+#include "option_table.h"
+#endif
/* Base Address */
#ifndef CONFIG_TTYS0_BASE
#define UART_LCS CONFIG_TTYS0_LCS
-#if CONFIG_USE_PRINTK_IN_CAR == 0
+#if CONFIG_CACHE_AS_RAM == 0
/* Data */
#define UART_RBR 0x00
}
#else
-/* CONFIG_USE_PRINTK_IN_CAR == 1 */
+/* CONFIG_CACHE_AS_RAM == 1 */
extern void uart8250_init(unsigned base_port, unsigned divisor, unsigned lcs);
void uart_init(void)