[Nullabillity]

According to the blog post mentioned earlier[0]:

1. Their kernel implementation is effectively just a paravirtualized proxy to the Windows DX API. So it won't be useful for bare metal users.

2. Only the kernel driver is open source (and presumably that is only thanks to the GPL). The user-mode library is a proprietary component shipped with Windows. I assume this is also DRMed to only work on top of Hyper-V/WSL2, just like many of their VSCode extensions deliberately block usage with unbranded builds (see also: AARD code[1], this isn't exactly new for them).

[0]: https://devblogs.microsoft.com/directx/directx-heart-linux/

[1]: https://en.wikipedia.org/wiki/AARD_code