diff -Nru linux-3.13.1/arch/arm/boot/dts/Makefile linux-3.13.1.rasm/arch/arm/boot/dts/Makefile
--- linux-3.13.1/arch/arm/boot/dts/Makefile	2014-01-29 13:06:37.000000000 +0000
+++ linux-3.13.1.rasm/arch/arm/boot/dts/Makefile	2014-02-01 06:53:43.968486026 +0000
@@ -198,6 +198,7 @@
 	am335x-evmsk.dtb \
 	am335x-bone.dtb \
 	am335x-boneblack.dtb \
+	am335x-lauv-aux.dtb \
 	am335x-nano.dtb \
 	am335x-base0033.dtb \
 	am3517-evm.dtb \
diff -Nru linux-3.13.1/arch/arm/boot/dts/am335x-lauv-aux.dts linux-3.13.1.rasm/arch/arm/boot/dts/am335x-lauv-aux.dts
--- linux-3.13.1/arch/arm/boot/dts/am335x-lauv-aux.dts	1970-01-01 01:00:00.000000000 +0100
+++ linux-3.13.1.rasm/arch/arm/boot/dts/am335x-lauv-aux.dts	2014-02-01 06:51:48.273816483 +0000
@@ -0,0 +1,77 @@
+/*
+ * Copyright (C) 2014 Universidade do Porto - Faculdade de Engenharia
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License version 2 as
+ * published by the Free Software Foundation.
+ */
+
+#include "am335x-boneblack.dts"
+
+/ {
+	/* No need for HDMI. */
+	hdmi {
+		status = "disabled";
+	};
+
+	/* PPS. */
+	pps {
+		pinctrl-names = "default";
+		pinctrl-0 = <&pps_pins>;
+		compatible = "pps-gpio";
+		status = "okay";
+		gpios = <&gpio2 13 0>;
+		assert-rising-edge;
+	};
+};
+
+&am33xx_pinmux {
+        pinctrl-names = "default";
+        pinctrl-0 = <&board_pins>;
+
+	/* User space. */
+	board_pins: pinmux_board_pins {
+		/* lcd_data6 / gpio2_12 / GPIO 76 */
+		pinctrl-single,pins = <0xb8 (PIN_OUTPUT_PULLDOWN | MUX_MODE7)>;
+	};
+
+	/* PPS. */
+	pps_pins: pinmux_pps_pins {
+		/* lcd_data7 / gpio2_13 */
+		pinctrl-single,pins = <0xbc (PIN_INPUT_PULLDOWN | MUX_MODE7)>;
+	};
+
+	/* UART1. */
+	uart1_pins: pinmux_uart1_pins {
+		pinctrl-single,pins = <
+			/* uart1_rxd */
+			0x180 (PIN_INPUT_PULLUP | MUX_MODE0)
+			/* uart1_txd */
+			0x184 (PIN_OUTPUT_PULLDOWN | MUX_MODE0)
+		>;
+	};
+
+	/* UART2. */
+	uart2_pins: pinmux_uart2_pins {
+		pinctrl-single,pins = <
+			/* uart2_rxd */
+			0x150 (PIN_INPUT_PULLUP | MUX_MODE1)
+			/* uart2_txd */
+			0x154 (PIN_OUTPUT_PULLDOWN | MUX_MODE1)
+		>;
+	};
+};
+
+/* Enable UART1. */
+&uart1 {
+	pinctrl-names = "default";
+	pinctrl-0 = <&uart1_pins>;
+	status = "okay";
+};
+
+/* Enable UART2 (actual UART3). */
+&uart2 {
+	pinctrl-names = "default";
+	pinctrl-0 = <&uart2_pins>;
+	status = "okay";
+};