pKVM hypervisor #71
Description
We visited NTU yesterday along with some folks in town for OOPSLA, and I was chatting to Jean Pichon-Pharabod (Prof. in Aarhus) about the type of programs where our protection-based analysis succeeds, and he mentioned we may want to look at pKVM which is a hypervisor that is running in Android. Supposedly, there is a bunch of interesting protection-based things going on in there (on top of some in-line assembly, but we may be able to ignore that for race-freedom).
He pointed me to this repo and fork: https://github.com/rems-project/linux-pkvm-verif/tree/pkvm/arch/arm64/kvm/hyp/nvhe