I am not an employee of NVIDIA or Make. :) But I am using this promo as an opportunity to see if anyone has made progress on getting the Jetson TK1 airborne.
The Jetson was released over a year ago. The community support has developed nicely since then. A custom kernel provided by users, and 'JetPack' (by NVIDIA) help to accelerate the setup process. I was able to get Jetson and Pixhawk talking via MAVLink by following the "Communicating with ODroid via MAVLink" wiki entry, without too many issues.
I have not yet flown with the Jetson. This development board is a bit bulky: approximately twice as big and heavy as the Odroid XU4 (XU3 and Jetson pictured). However, it offers top-notch performance for computational intensive tasks such as vision processing.
Jetson/XU4 Weight: 120g / 60g
Jetson/XU4 Dimensions: 127x127mm / 82x58mm
*Percepto's Indiegogo campaign proposed TK1-based hardware that is more down-to-size.
It is worth mentioning that DJI has recently released a companion computer based on the Jetson for their development copter. 'Manifold' is approximately the same size/weight as the Jetson development board, but with different I/O.