[VIRT-263 # ARMv8.1-VHE Virtual Host Extensions ]

Still need to think of more test cases...

[VIRT-344 # ARMv8.5-MemTag, Memory Tagging Extension ]

Posted v5 of the system-only patch set, with testing help from Alex.

[VIRT-327 # Richard's upstream QEMU work ]

Catching up on patch review - arm semihosting - tcg profiler - ptimer transactions - s390 mvcl interrupt - started on v2 of dave martin's bti kernel patch set.

Posted v6 of my arm hflags patch set.

r~