There's NixOS for Jetson, fwiw