Hi Joakim, thanks for reaching out! Thanks for adding me, Julius.
At the Android end we are working on a couple of things that tie into our engagement with TF and ARM. Namely we are:
* Encouraging the use of TrustedFirmware as the reference EL3 firmware
* Encouraging the use of Hafnium as the reference SEL2 secure monitor
* Encouraging the use of FF-A as the standard communication mechanism between Android and TrustZone
In parallel we are working on extending the upstream KVM hypervisor with the ability to protect guest memory from host vulnerabilities, under the Protected KVM (pKVM) umbrella. This is orthogonal to Hafnium and much more closely tied to the Android framework than any of the above (Hafnium, TF, etc).
Happy to catch-up offline or to attend a future TF meeting where I can tell you more of the above.
Best,
Serban