Systems research geneaology:
Xen [U of Cambridge, XenSource, Citrix]
KVM [Qumranet, RedHat]
EC2 [AWS]
Nitro [Annapurna Labs, AWS]
Barrelfish [ETH Zurich, Microsoft]
Snitch RISC-V (many)core
uXen ("micro" Xen, CoW memory) [Bromium, HP]
firecracker
AX x86 ("atto" Xen) [Bromium, HP]
pKVM Arm [Google, Android, Linux]
How do you manufacture a connection between a hypervisor and a kernel that does nothing at all with virtualization? Did you just want to mention Xen?
Interesting. Do you know of any good SoK papers or articles that summarize the current state of the art, or explains this genealogy?
I don't know how you got from Barrelfish (a message-passing OS) to a RISC-V CPU. Bit of a stretch. Just because they are both messaging passing distributed systems?