--- a/kernel/arch/qemu_vexpress/vexpressA9.c3	Sat Feb 21 12:17:47 2015 +0100
+++ b/kernel/arch/qemu_vexpress/vexpressA9.c3	Mon Feb 23 21:06:04 2015 +0100
@@ -2,7 +2,7 @@
 import io;
 
 
-function void init()
+public function void init()
 {
     io.print2("PFR0 = ", pfr0());
     io.print2("PFR1 = ", pfr1());
@@ -12,14 +12,14 @@
     // io.print2("MPUIR = ", arch.mpuir());
 }
 
-function void putc(int c)
+public function void putc(int c)
 {
     var int *UART0DR;
     UART0DR = cast<int*>(0x109000); // UART0 DR register when remapped at 1MB
     *UART0DR = c;
 }
 
-function void halt()
+public function void halt()
 {
     while(true)
     {
@@ -27,7 +27,7 @@
 }
 
 // Functions implemented in assembly:
-function byte* get_image_address();
+public function byte* get_image_address();
 function int pfr0();
 function int pfr1();
 function int mmfr0();