Jetson tk1 & PX2

[linuxdev]

None of the Jetsons are hard real time…but the performance on a TX2 is so high (even a TX1 is fairly high) that the soft real time might do the job. Someone who has used those for a flight controller might want to comment.