--- a/experiments/qemu_vexpress_a9/startup.s	Thu Feb 19 14:10:52 2015 +0100
+++ b/experiments/qemu_vexpress_a9/startup.s	Fri Feb 20 14:25:35 2015 +0100
@@ -7,15 +7,14 @@
 _start:
  LDR sp, =stack_top
 
- ldr r2, =0x10009000
-
- mov r1, #'1'
- str r1, [r2]
+ldr r2, =0x10009000
+mov r1, #'1'
+str r1, [r2]
 
 // Load TTBR0 and TTBR1
- ldr r0, =kernel_table0
- mcr p15, 0, r0, c2, c0, 1
- mcr p15, 0, r0, c2, c0, 0
+ldr r0, =kernel_table0
+mcr p15, 0, r0, c2, c0, 1
+mcr p15, 0, r0, c2, c0, 0
 
  // Domain 0:
 mov r0, #3
@@ -42,9 +41,8 @@
 */
 
 kernel_table0:
- .long 0x00000000 + 0x402 // 0x00000000 # ; Identity map first 1 MB
- .long 0x10000000 + 0x402 // 0x00100000 # ; second mb mapping to peripherals
-
+ .long 0x00000402 // 0x00000000 # ; Identity map first 1 MB
+ .long 0x10000402 // 0x00100000 # ; second mb mapping to peripherals
  .rept 0x600 - 2
   .long 0x0
  .endr