> I have a Jetson TK1, but I got that for free when they first came out.

How did you manage that? Were you attending a conference where they were handing them out or something?

Although I have to say my appetite for niche ARM boards has diminished significantly since I bought the PandaBoard ES and found the support from TI to be very poor. Had to send my first board back for repair under RMA because apparently the HDMI connection cannot be hot plugged (or you damage the board) even though hotplug is part of the friggin HDMI spec.

The TK1 boards (at least) have their own set of problems too. I was at a conference where one of the vendors was showing off a little stack of TK1s he was using as a cluster... but apparently it needed to warm up before the GPU would work properly.

>How did you manage that

They had a program where you submitted a very brief description of a project that you wished to pursue and they would send you a board.

I also have several of these niche ARM boards - collecting dust mostly.