ARM bootloader does not set r0 to 0 # arm-softmmu/qemu-system-arm -M raspi2 -m 1024 -smp 4 -kernel kernel.bin -serial stdio -dtb rpi2.dtb My code shows r0 = 0x31 while it should be 0.