Index: sys/arm/conf/EFIKA_MX
===================================================================
--- sys/arm/conf/EFIKA_MX	(revision 268529)
+++ sys/arm/conf/EFIKA_MX	(working copy)
@@ -172,6 +172,7 @@
 # NOTE: serial console will be disabled if syscons enabled
 # Uncomment following lines for framebuffer/syscons support
 device		sc
+device		vt
 device		kbdmux
 options         SC_DFLT_FONT		# compile font in
 makeoptions     SC_DFLT_FONT=cp437
Index: sys/arm/freescale/imx/imx51_machdep.c
===================================================================
--- sys/arm/freescale/imx/imx51_machdep.c	(revision 268529)
+++ sys/arm/freescale/imx/imx51_machdep.c	(working copy)
@@ -85,6 +85,7 @@
 	arm_devmap_add_entry(0x70000000, 0x00100000);
 	arm_devmap_add_entry(0x73f00000, 0x00100000);
 	arm_devmap_add_entry(0x83f00000, 0x00100000);
+	arm_devmap_add_entry(0xaef00000, 0x00400000);
 
 	return (0);
 }
Index: sys/boot/fdt/dts/arm/efikamx.dts
===================================================================
--- sys/boot/fdt/dts/arm/efikamx.dts	(revision 268529)
+++ sys/boot/fdt/dts/arm/efikamx.dts	(working copy)
@@ -37,6 +37,7 @@
 / {
 	model = "Genesi Efika MX";
 	compatible = "genesi,imx51-efikamx", "fsl,imx51";
+	memreserve = <0xaef00000 0x00300000>;	/* U-Boot's FB */
 
 	memory {
 		/* RAM 512M */
@@ -43,11 +44,19 @@
 		reg = <0x90000000 0x20000000>;
 	};
 
+
 	localbus@5e000000 {
-		ipu3@5e000000 {
-			status = "okay";
-		};
-	};
+                display: ipu3@5e000000 {
+                        device_type = "display";
+                        /* Have to be filled by u-boot. */
+                        address = <0xaef76cb8>;
+                        depth = <24>;
+                        width = <1280>;
+                        height = <720>;
+                        linebytes = <3840>;
+                        status = "okay";
+                };
+        };
 
 	soc@70000000 {
 		aips@70000000 {
@@ -118,6 +127,7 @@
 	aliases {
 		UART1 = &UART1;
 		SSI2 = &SSI2;
+		screen = &display;
 	};
 
 	chosen {