That particular URL talks about porting to a TK1 using arm32/armhf. The TX2 is aarch64/arm64/ARMv8-a. I don’t know what issues that might add.
If the NVIDIA-supplied drivers do not have an operating system set of files which are compatible, then you won’t be able to use direct hardware access to those items. The biggest example is the GPU, but there could also be issues with USB3 mode or some UART issues. The part which comes to mind is:
sudo tar -xpjf nvidia_drivers.tbz2 -C nvidia_drivers/
…the “arm-linux-gnueabihf” would instead be “aarch64-linux-gnu”. There would be many differences versus the TK1, and I don’t know if you would be able to find everything you need. This would definitely not be a fast or easy project…it might be possible…but you might also end up with a working system where CUDA cannot be used (keep in mind the GPU access is tied to the ABI of the Xorg server…you might need to start by identifying which Fedora package provides the Xorg server with the ABI matching what you would find in “/var/log/Xorg.0.log”).
This will not be straight forward.