Great to see this, and congratulations to OpenBSD on landing KPTI! From the illumos/SmartOS perspective, our collaboration with OpenBSD and DragonFly engineers has been invaluable[1]; working together, all projects made quicker progress. Indeed, the cross-project collaboration has been a silver lining to the very dark cloud of Intel's selective (and irresponsible) disclosure.

[1] https://twitter.com/arekinath/status/951321167708606464