--- linux-3.13/arch/arm/boot/dts/omap3-igep0020-manta.dts	1970-01-01 01:00:00.000000000 +0100
+++ linux-3.13.rasm/arch/arm/boot/dts/omap3-igep0020-manta.dts	2014-01-31 03:30:13.453357542 +0000
@@ -0,0 +1,113 @@
+/*
+ * 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 <dt-bindings/input/input.h>
+#include "omap3-igep0020.dts"
+
+/ {
+	model = "Manta A2XX/A3XX";
+	compatible = "isee,omap3-igep0020", "ti,omap3";
+	
+	leds {
+		boot {
+			linux,default-trigger = "heartbeat";
+		};
+	};
+
+	gpio_keys {
+		pinctrl-names = "default";
+		pinctrl-0 = <&gpio_keys_pins>;
+		compatible = "gpio-keys";		
+
+		button0 {
+			label = "Button 0";
+			gpios = <&gpio5 11 GPIO_ACTIVE_HIGH>;	/* gpio_139 */
+			linux,code = <BTN_0>;
+			debounce-interval = <5>;
+		};
+
+		button1 {
+			label = "Button 1";
+			gpios = <&gpio5 10 GPIO_ACTIVE_HIGH>;	/* gpio_138 */
+			linux,code = <BTN_1>;
+			debounce-interval = <5>;
+		};
+
+		button2 {
+			label = "Button 2";
+			gpios = <&gpio5 9 GPIO_ACTIVE_HIGH>;	/* gpio_137 */
+			linux,code = <BTN_2>;
+			debounce-interval = <5>;			
+		};
+	};
+	
+	pps {
+		compatible = "pps-gpio";
+		pinctrl-names = "default";
+		pinctrl-0 = <&pps_pins>;
+		gpios = <&gpio5 8 GPIO_ACTIVE_HIGH>;
+		assert-rising-edge;
+	};
+};
+
+&omap3_pmx_core {
+	gpio_keys_pins: pinmux_gpio_keys_pins {
+		pinctrl-single,pins = <
+			0x136 (PIN_INPUT_PULLDOWN | MUX_MODE4)	/* gpio_137 - button 2 */
+			0x138 (PIN_INPUT_PULLDOWN | MUX_MODE4)	/* gpio_138 - button 1 */
+			0x13a (PIN_INPUT_PULLDOWN | MUX_MODE4)	/* gpio_139 - button 0 */
+		>;
+	};
+	
+	pps_pins: pinmux_pps_pins {
+		pinctrl-single,pins = <
+			0x134 (PIN_INPUT_PULLDOWN | MUX_MODE4)	/* gpio_136 */
+		>;
+	};	
+	
+	panel_pins: pinmux_panel_pins {
+		pinctrl-single,pins = <
+			0x130 (PIN_OUTPUT | MUX_MODE4)		/* gpio_133 - panel backlight */
+			0x132 (PIN_OUTPUT | MUX_MODE4)		/* gpio_135 - panel LED */
+		>;
+	};	
+	
+	txd_pins: pinmux_txd_pins {
+		pinctrl-single,pins = <
+			0x15e (PIN_INPUT_PULLUP | MUX_MODE4)	/* gpio_157 */
+		>;
+	};
+	
+	uart1_rs232_pins: pinmux_uart1_rs232_pins {
+		pinctrl-single,pins = <
+			0x150 (PIN_INPUT | MUX_MODE4)		/* uart1_cts.gpio_150 */
+			0x14e (PIN_INPUT | MUX_MODE4)		/* uart1_rts.gpio_149 */
+		>;
+	};
+};
+
+&i2c2 {
+	rtc@68 {
+		compatible = "dallas,ds1307";
+		reg = <0x68>;
+	};
+};
+
+/* Disable WiFi/Bluetooth combo. */
+&mmc2 {
+	status = "disabled";
+};
+
+&vdd33 {
+	status = "disabled";
+};
+
+&lbee1usjyc_vmmc {
+	status = "disabled";
+};
+