From 380628ea0581c83dd3d34715f54cbd9bcdc9b96d Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 18 Dec 2012 10:45:13 +0100
Subject: [PATCH] bsp/lpc32xx: Configure U4_TX pin for UART 4

---
 c/src/lib/libbsp/arm/lpc32xx/console/console-config.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/c/src/lib/libbsp/arm/lpc32xx/console/console-config.c b/c/src/lib/libbsp/arm/lpc32xx/console/console-config.c
index 812a2cc5b4..1230dfd12f 100644
--- a/c/src/lib/libbsp/arm/lpc32xx/console/console-config.c
+++ b/c/src/lib/libbsp/arm/lpc32xx/console/console-config.c
@@ -55,6 +55,14 @@ static void lpc32xx_uart_set_register(uintptr_t addr, uint8_t i, uint8_t val)
 #ifdef LPC32XX_UART_4_BAUD
   static bool lpc32xx_uart_probe_4(int minor)
   {
+    volatile lpc32xx_gpio *gpio = &lpc32xx.gpio;
+
+    /*
+     * Set GPO_21/U4_TX/LCDVD[3] to U4_TX.  This works only if LCD module is
+     * disabled.
+     */
+    gpio->p2_mux_set = BSP_BIT32(2);
+
     LPC32XX_UARTCLK_CTRL |= 1U << 1;
     LPC32XX_U4CLK = LPC32XX_CONFIG_U4CLK;