Implementation of Xen PVHVM Drivers in OpenBSD – [pdf]

The technical paper from his AsiaBSDCon talk:

http://www.openbsd.org/papers/asiabsdcon2016-xen-paper.pdf