Progress: * VIRT-65 [QEMU upstream maintainership] + tagged rc0 for QEMU 4.0.0; various other release-ish work * VIRT-268 [QEMU support for dual-core Cortex-M Musca board] + more progress with FP support: lazy state saving and the vlldm/vlstm insns now implemented. FP support is now feature-complete, though some bugs likely remain to be fixed. * A day or so taken up by move to a new desktop machine (but builds should go faster now!)

NB: I'm not working on Wednesday or Friday next week.

thanks -- PMM