NetBSD on the Jetson TX1 - less expensive now

[John Klos <john%ziaspace.com@localhost>]

Hi,

If I hadn't just bought an extra Jetson TK1 a couple of months ago, I'd 
definitely get one of these:

http://www.nvidia.com/object/JetsonTX1DeveloperKitSE.html

$200 is much more affordable.

Just for reference, can anyone here say how much of a difference there is 
performancewise between the TK1 and the TX1?

John