There is jetpack-nixos, if this an option, which is decently maintained and for a client of numtide we build https://github.com/numtide/nix-gl-host

So they can use the host driver in nix based services with Jetson