serial_initfunc(sandbox_serial_initialize);
 serial_initfunc(clps7111_serial_initialize);
 serial_initfunc(imx_serial_initialize);
+serial_initfunc(ixp_serial_initialize);
 
 void serial_register(struct serial_device *dev)
 {
        sandbox_serial_initialize();
        clps7111_serial_initialize();
        imx_serial_initialize();
+       ixp_serial_initialize();
 
        serial_assign(default_serial_console()->name);
 }
 
 #include <common.h>
 #include <asm/arch/ixp425.h>
 #include <watchdog.h>
+#include <serial.h>
+#include <linux/compiler.h>
 
 /*
  *               14.7456 MHz
 
 DECLARE_GLOBAL_DATA_PTR;
 
-void serial_setbrg (void)
+static void ixp_serial_setbrg(void)
 {
        unsigned int quot = 0;
        int uart = CONFIG_SYS_IXP425_CONSOLE;
  * are always 8 data bits, no parity, 1 stop bit, no start bits.
  *
  */
-int serial_init (void)
+static int ixp_serial_init(void)
 {
        serial_setbrg ();
 
 /*
  * Output a single byte to the serial port.
  */
-void serial_putc (const char c)
+static void ixp_serial_putc(const char c)
 {
        /* wait for room in the tx FIFO on UART */
        while ((LSR(CONFIG_SYS_IXP425_CONSOLE) & LSR_TEMT) == 0)
  * otherwise. When the function is succesfull, the character read is
  * written into its argument c.
  */
-int serial_tstc (void)
+static int ixp_serial_tstc(void)
 {
        return LSR(CONFIG_SYS_IXP425_CONSOLE) & LSR_DR;
 }
  * otherwise. When the function is succesfull, the character read is
  * written into its argument c.
  */
-int serial_getc (void)
+static int ixp_serial_getc(void)
 {
        while (!(LSR(CONFIG_SYS_IXP425_CONSOLE) & LSR_DR))
                WATCHDOG_RESET();       /* Reset HW Watchdog, if needed */
        return (char) RBR(CONFIG_SYS_IXP425_CONSOLE) & 0xff;
 }
 
-void
-serial_puts (const char *s)
+static void ixp_serial_puts(const char *s)
 {
        while (*s) {
                serial_putc (*s++);
        }
 }
+
+#ifdef CONFIG_SERIAL_MULTI
+static struct serial_device ixp_serial_drv = {
+       .name   = "ixp_serial",
+       .start  = ixp_serial_init,
+       .stop   = NULL,
+       .setbrg = ixp_serial_setbrg,
+       .putc   = ixp_serial_putc,
+       .puts   = ixp_serial_puts,
+       .getc   = ixp_serial_getc,
+       .tstc   = ixp_serial_tstc,
+};
+
+void ixp_serial_initialize(void)
+{
+       serial_register(&ixp_serial_drv);
+}
+
+__weak struct serial_device *default_serial_console(void)
+{
+       return &ixp_serial_drv;
+}
+#else
+int serial_init(void)
+{
+       return ixp_serial_init();
+}
+
+void serial_setbrg(void)
+{
+       ixp_serial_setbrg();
+}
+
+void serial_putc(const char c)
+{
+       ixp_serial_putc(c);
+}
+
+void serial_puts(const char *s)
+{
+       ixp_serial_puts(s);
+}
+
+int serial_getc(void)
+{
+       return ixp_serial_getc();
+}
+
+int serial_tstc(void)
+{
+       return ixp_serial_tstc();
+}
+#endif