NetBSD Ported To Run On NVIDIA's Jetson TK1
Written by Michael Larabel in BSD on 25 July 2015 at 06:37 PM EDT. 12 Comments
BSD --
The latest ARM platform that NetBSD has been ported to is the NVIDIA Jetson TK1.

This Tegra K1 ARM SoC Cortex-A15 development board is now in a fairly good working state with HDMI audio/video working along with other stability fixes. The NetBSD -current code is working on this board with the customized "JETSONTK1" kernel.

If you're a NetBSD fan and have a Jetson TK1, read more about the current BSD porting efforts for this high-end ARMv7 development board via the NetBSD blog. The Jetson TK1 remains one of my favorite ARM development boards thanks to its powerful SoC but I'm very excited for the Tegra X1 development board that's rumored to be coming later in the year.
Related News
About The Author
Author picture

Michael Larabel is the principal author of and founded the site in 2004 with a focus on enriching the Linux hardware experience. Michael has written more than 20,000 articles covering the state of Linux hardware support, Linux performance, graphics drivers, and other topics. Michael is also the lead developer of the Phoronix Test Suite, Phoromatic, and automated benchmarking software. He can be followed via Twitter or contacted via

Popular News This Week