Progress: * VIRT-65 [QEMU upstream maintainership] + usual code review/maintainer work + Coverity Scan is back up; triaged the issues that it found + updated OSX "handle Mojave" patchset to actually wire up events correctly; sent v2

* VIRT-268 [QEMU support for dual-core Cortex-M Musca board] + Finished, tested and sent out the initial Musca board model patches for review + Fixed a handful of random bugs identified in the course of doing this and testing it with various guests + Investigated why tip-of-trunk ARM-TFM stopped working on the mps2-an521 model; turned out to be a QEMU bug which I have sent out a patch for

thanks -- PMM