Progress: * VIRT-65 [QEMU upstream maintainership] + sent patchset fixing a handful of simple GICv3 bugs + usual codereview work + sent out a sketch of how we can transition our documentation from the current texinfo manual to a set of sphinx manuals + had a look at the practicalities of converting our hand-written VFP decoder to 'decodetree' -- this may be the easiest way to support FPU configs which only support single-precision, like Cortex-M33

thanks -- PMM