Progress: (short week, three days) * VIRT-65 [QEMU upstream maintainership] + sent patches to remove QEMU's support for KVM on AArch32 hosts (which we deprecated when the kernel removed its end of the support) * VIRT-364 [QEMU support for ARMv8.1-M extensions] + fp16 work is now in master + sent patches to add support for mps2-an386 and mps2-an500 boards (Cortex-M4 and Cortex-M7 setups similar to the existing mps2-an385 Cortex-M3 board model)

thanks -- PMM