CUDA on Fedora TK1 Platform

I had to install Fedora on my Jetson TK1 for a specific application. The problem I’m having is installing the CUDA Toolkit on this platform - there’s a version available for TK1 and a version for Fedora but not for Fedora on TK1. If anyone could help me out I’d appreciate it!

I’m hoping there is an easier way but what I’ve done so far is unzip the CUDA Toolkit for arm debian and am trying to figure out how to set up the compiler and libraries and stuff manually - I don’t really know where to start though so if this is the route to go, I’d appreciate help there as well.