That is correct, but hasn't happened, yet. My comment also applies to DriverKit which is Apples "modern" solution to run userspace Kernel extensions.