Progress: * VIRT-65 [QEMU upstream maintainership] + some code review, and another arm pull-request (including RTH's pointer auth work) + sent patch fixing a bug in the gdbstub memory access path that meant it was always making accesses as NonSecure even if the guest CPU was currently Secure + sent patch fixing checkpatch to not wrongly complain about block comments starting "/**" * VIRT-268 [QEMU support for dual-core Cortex-M Musca board] + I have a model of the SSE-200 subsystem used by the Musca board, and a model of the MPS2 AN521 FPGA image which uses it. (Since it is basically "our existing MPS2 AN505 model, but with SSE-200 rather than IoTKit" it's a useful stepping stone to the Musca board.) There are still some bugs and missing features, but it seems to mostly be functional (it can run the ARM Trusted Firmware M test binary.)
thanks -- PMM