Index: kernel/arch/arm32/src/mach/gta02/gta02.c
===================================================================
--- kernel/arch/arm32/src/mach/gta02/gta02.c	(revision f1fc83a94680102dc08796c15aa408745db97104)
+++ kernel/arch/arm32/src/mach/gta02/gta02.c	(revision 5c03293233abadcf511db15946c89bb6ae439f47)
@@ -38,5 +38,8 @@
 #include <arch/mm/page.h>
 #include <mm/page.h>
+#include <genarch/fb/fb.h>
+#include <genarch/fb/visuals.h>
 #include <genarch/drivers/s3c24xx_uart/s3c24xx_uart.h>
+#include <ddi/ddi.h>
 
 #define GTA02_MEMORY_START	0x30000000	/* physical */
@@ -46,4 +49,7 @@
 /** GTA02 serial console UART address (UART S3C24XX CPU UART channel 2). */
 #define GTA02_SCONS_BASE	0x50008000
+
+/** GTA02 framebuffer base address */
+#define GTA02_FB_BASE		0x08800000
 
 static void gta02_init(void);
@@ -57,4 +63,5 @@
 
 static void *gta02_scons_out;
+static parea_t fb_parea;
 
 struct arm_machine_ops gta02_machine_ops = {
@@ -103,4 +110,22 @@
 static void gta02_output_init(void)
 {
+#ifdef CONFIG_FB
+	fb_properties_t prop = {
+		.addr = GTA02_FB_BASE,
+		.offset = 0,
+		.x = 480,
+		.y = 640,
+		.scan = 960,
+		.visual = VISUAL_RGB_5_6_5_LE
+	};
+
+	outdev_t *fb_dev = fb_init(&prop);
+	if (fb_dev) {
+		stdout_wire(fb_dev);
+		fb_parea.pbase = GTA02_FB_BASE;
+		fb_parea.frames = 150;
+		ddi_parea_register(&fb_parea);
+	}
+#endif
 	outdev_t *scons_dev;