*/
#include <config.h>
+
+#ifdef CONFIG_MICROBLAZE
+
#include <asm/serial_xuartlite.h>
/* FIXME: we should convert these to in32 and out32 */
if (c == '\n') serial_putc('\r');
while (IO_SERIAL_STATUS & XUL_SR_TX_FIFO_FULL);
IO_SERIAL_TX_FIFO = (unsigned char) (c & 0xff);
- return 0;
}
void serial_puts(const char * s)
{
return (IO_SERIAL_STATUS & XUL_SR_RX_FIFO_VALID_DATA);
}
+
+#endif /* CONFIG_MICROBLZE */