Le driver DriverKit est sorti de beta il y a quelques semaines (1.1.0), puis à nouveau il y a 2 jours (1.2.0).
Impossible de l'installer pour autant. Pas de prompt "Autoriser le développeur…" dans les préférences systèmes, et ces messages dans les logs sytème :
default 19:12:24.988473+0200...