Jetson TX2 and Pixhawk

I have been using this:
to try and set up my Jetson TX2 with a Pixhawk, but am not making any progress. That link has not gotten me anywhere and I have no idea whats going wrong. I am currently using a TX2 on the developer board but, will be using the J-120 Carrier board once it comes in the mail. I am not making any progress and there is not much documentation on how to connect these systems.

Has anyone been able to accomplish a similar task? Any help would be much appreciated