#include <asm/types.h>
  #include <linux/serial_reg.h>
  #include <mach/hardware.h>
  
  #define UART_BASE ((volatile u32 *)IOP13XX_UART1_PHYS)
  #define TX_DONE (UART_LSR_TEMT | UART_LSR_THRE)
  
  static inline void putc(char c)
  {
  	while ((UART_BASE[UART_LSR] & TX_DONE) != TX_DONE)
  		barrier();
  	UART_BASE[UART_TX] = c;
  }
  
  static inline void flush(void)
  {
  }
  
  /*
   * nothing to do
   */
  #define arch_decomp_setup()