debug: 0.961 socket: 0.961 semantic: 0.956 other: 0.955 network: 0.945 boot: 0.945 permissions: 0.943 PID: 0.942 graphic: 0.939 performance: 0.938 files: 0.934 device: 0.921 vnc: 0.893 KVM: 0.883 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. On 19 April 2016 at 23:34, Sylvain