Index: kernel/arch/arm32/src/mach/gta02/gta02.c
===================================================================
--- kernel/arch/arm32/src/mach/gta02/gta02.c	(revision ecf083ddad676b0da750a0fddb69925ae0855751)
+++ kernel/arch/arm32/src/mach/gta02/gta02.c	(revision a9b5b5fabe77630d44c11b4e3e9315bfc20215ce)
@@ -44,4 +44,5 @@
 #include <genarch/drivers/s3c24xx_timer/s3c24xx_timer.h>
 #include <genarch/srln/srln.h>
+#include <sysinfo/sysinfo.h>
 #include <interrupt.h>
 #include <ddi/ddi.h>
@@ -185,4 +186,14 @@
 		stdout_wire(gta02_scons_dev);
 	}
+
+	/*
+	 * This is the necessary evil until the userspace driver is entirely
+	 * self-sufficient.
+	 */
+	sysinfo_set_item_val("s3c24xx_uart", NULL, true);
+	sysinfo_set_item_val("s3c24xx_uart.inr", NULL, S3C24XX_INT_UART2);
+	sysinfo_set_item_val("s3c24xx_uart.address.physical", NULL,
+	    (uintptr_t) GTA02_SCONS_BASE);
+
 }