mov sp, 0x30000
BL kernel_start          ; Branch to main (this is actually in the interrupt vector)
local_loop:
B local_loop


; Called to identify the proc:
arch_pfr0:
mrc p15, 0, r0, c0, c1, 0
mov pc, lr

arch_pfr1:
mrc p15, 0, r0, c0, c1, 1
mov pc, lr

arch_mmfr0:
mrc p15, 0, r0, c0, c1, 4
mov pc, lr


arch_mpuir:
mrc p15, 0, r0, c0, c0, 4
mov pc, lr