following instructions on this page:
https://docs.nvidia.com/jetson/archives/r36.4/DeveloperGuide/AT/JetsonLinuxToolchain.html#at-jetsonlinuxtoolchain
I need to
Download the Bootlin toolchain binaries from the NVIDIA Jetson Linux home page.
but the link on that page gives me:
https://developer.nvidia.com/downloads/embedded/l4t/r36_release_v3.3/toolchain/toolchain-source_toolchains.bootlin.com-2022.08.1.tar.bz2: No such file or directory