Tag: jetson
-
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 of the data was saved on an external hard-drive, some data was saved on the on-board eMMC, due to…
-
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 A15), and an integrated 192 core Nvidia GPU. Mine came with a standard Ubuntu 14.04 distribution and nothing more really. After…