Progress: * VIRT-65 [QEMU upstream maintainership] + raspi3 board: tested with a Debian kernel, and fixed and sent patches for various issues that were causing it to panic. Unfortunately there's a more tricky issue with the sd controller still that means it doesn't boot yet... + bug investigation week: - LP:1748434: wrong logic for ICC_PMR and ICC_RPR accesses by NS code when the GICv3 emulation has security extensions enabled. Sent patch. - LP:1751674: segfault doing a VM memory dump on vexpress-a9. This is a combination of user error and a longstanding bug where the GICv2 crashes if you try to read its banked-per-CPU registers from a context that isn't a guest CPU (like the monitor or the gdbstub) - LP:1755479: confirmed that crash when using -icount is one that has been fixed by a patch from Pavel that was lurking in a record/replay series + handling all the merge requests for softfreeze * VIRT-164 [improve Cortex-M emulation] + started to look at implementing the stack-limit checking feature

thanks -- PMM