--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/experiments/qemu_vexpress_a9/main.c	Sun Feb 23 16:24:01 2014 +0100
@@ -0,0 +1,23 @@
+
+
+volatile unsigned int * const UART0_DR = (unsigned int *)0x10009000;
+
+
+void print_uart0(const char *s)
+{
+  while(*s != '\0') { /* Loop until end of string */
+    *UART0_DR = (unsigned int)(*s); /* Transmit char */
+    s++; /* Next char */
+  }
+}
+
+void do_display(void);
+
+void start(void)
+{
+    print_uart0("Hello world\n");
+    do_display();
+    for (;;);
+}
+
+