--- a/kernel/arch/qemu_vexpress/archmem.c3	Fri Apr 18 13:08:45 2014 +0200
+++ b/kernel/arch/qemu_vexpress/archmem.c3	Sat Apr 26 17:41:56 2014 +0200
@@ -1,19 +1,4 @@
 module archmem;
 import io;
 
-function void init()
-{
-    // putc(65)
-    io.print2("PFR0 = ", pfr0());
-    io.print2("PFR1 = ", pfr1());
-    io.print2("MMFR0 = ", mmfr0());
 
-    // This below is not compatible with all qemu versions:
-    // io.print2("MPUIR = ", arch.mpuir());
-}
-
-function int pfr0();
-function int pfr1();
-function int mmfr0();
-// function int mpuir();
-