Progress: * VIRT-65 [QEMU upstream maintainership] + raspi3: came up with plausible fix for sd controller model that makes Linux driver work. Unfortunately it's pure guesswork since there's no public documentation for the hardware :-( + drafted a blog post describing booting Linux on the raspi3 model (for publication once we've got the sdcard fix in master) + tagged 2.12.0 rc0 (first release candidate), various other release work * VIRT-164 [improve Cortex-M emulation] + a little more progress with the stack-limit checking feature

thanks -- PMM