2016-03-10 14:38 64-bit userspace on Nvidia TX1