@NyproTheGeek,
I had the same question as you; I spent many hours trying to get NumbaPro running on my Jetson TK1 and kept running into dead ends. Since there is almost no NumbaPro + Jetson TK1 mention on the Internet I finally emailed the people at Continuum Analytics and they replied the Jetson TK1 is currently not supported. However, they also indicated Jetson TK1 is on the roadmap although no clear date was given.I had the same question a