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.