Google is trying to get HDMI drm upstream into the linux kernel: https://www.phoronix.com/scan.php?page=news_item&px=2017-Google-Intel-HDCP-DRM As we see this coming, how would the guys on FreeBSD working on that Linux kmod stuff deal when this stuff starts to creep into the linux kernel?