Progress: * VIRT-65 [QEMU upstream maintainership] + code review: - 'SBSA reference' model (now quite close to being in shape to go in) - RTH's BTI patchset - RTH's patchset adding TBI support to user-mode emulation + sent patches fixing the last lot of clang -Waddress-of-packed-member warnings + had another look at the prototype work I did to use Sphinx for QEMU's documentation -- updated the patchset and started looking at how to tie it into our makefiles. + sent patches fixing a handful of underdecodings in our A64 decoder, where we should have UNDEFed but did not * VIRT-268 [QEMU support for dual-core Cortex-M Musca board] + sent out v1 of the patchset implementing the SSE-200 and MPS2 AN521 model + read through the Musca-B1 docs to confirm what we can easily put into an initial implementation of a model

thanks -- PMM