The virtualization of I/O is fascinating, and VirtIO's progress from the Linux kernel to hardware implementations. My only wish is that Linux would support inter-VM shared memory as a VirtIO transport in addition to pci and mmio.

Thanks for the pKVM tip, and the connection between OpenTitan and Barrelfish.

Speaking of security and open-source hardware, shameless plug of stuff I work on:

- dev.tillitis.se (FPGA-based OSHW RoT)

- system-transparency.org (related to CC, TDX, SNP)

- sigsum.org