Progress: * VIRT-65 [QEMU upstream maintainership] + More release herding... + Sent fixes for some bugs: - assertion in the imx_epit timer device when guest soft-reset it - netduino2/netduinoplus2 forgot to configure system clock scale so using SysTick in "run at CPU frequency" mode would hang - most M-profile boards failed to make AIRCR.SYSRESETREQ actually reset the system * VIRT-364 [QEMU support for ARMv8.1-M extensions] + More progress with fp16: all the VFP insns now handled, including the new-for-fp16 ones. Still to do: all of Neon... + Spent some time working through the details of NOCP vs UNDEF in the M-profile coprocessor space for the various revisions of the architecture. v8.1M adjusts things a bit in this area and I want to clean up this bit of QEMU's current code and get the v8.1M bits right.

Fact: next Monday (3rd August) will be the 10th anniversary of my secondment into Linaro!

-- PMM