Backing up and restoring a Jetson TK1 – or how our first Jetson TK1 just died….

Unfortunately, our first Jetson TK1 board just died.¬†Overnight, the board shut down at some point and in the morning it wouldn’t boot up. No SSH access, no ping and no output over HDMI.

While a lot… more

Posted by

16/04/2015

I’ve managed to compile GHC-7.8.3 on an Nvidia Tegra (Jetson K1) and Adapteva Parallella-16!

It took a while, but I’ve finally managed to compile and run GHC-7.8.3 on an Nvidia Jetson K1 board.
The Jetson K1 board has a 32-bit Nvidia Tegra processor (essentially a quad-core ARM Cortex… more

Posted by

11/11/2014