Booting L4Re with qemu-system-arm: Panic in sigma0