My colleagued lent me a NVIDIA – Jetson Tx2 development kit.

You cannot not buy it from NVIDIA directly, instead, you can purchase it from franchised distributors like Arrow and others.

I absolutely have to thank Jetsonhacks for their tutorial, and in the end, I got it up and running in no time.