1 files changed, 5 insertions, 6 deletions
diff --git a/boot.S b/boot.S
index ae56387..be858ee 100644
--- a/boot.S
+++ b/boot.S
@@ -13,8 +13,12 @@ _boot:
         mrc p15, 0, r5, c0, c0, 5
         and r5, r5, #3
         cmp r5, #0
-        bne halt
+        beq proceed
+	// this is a kind of blef - races can theoretically still occur
+	// when the main core overwrites this part of memory
+	wfe
 
+proceed:
 	// go to system mode
 	cps #0b11111
 	isb
@@ -27,8 +31,3 @@ _boot:
         // Call kernel_main
         ldr r3, =kernel_main
         bx r3
- 
-        // halt
-halt:
-        wfe
-        b halt