<p>NetBSD is now running on the NVIDIA Jetson TK1 development kit. The <a href="https://developer.nvidia.com/jetson-tk1">NVIDIA Jetson TK1</a> is a quad-core ARMv7 development board that features an NVIDIA Tegra K1 (32-bit) SoC (quad-core Cortex-A15 @ 2.3GHz), 2GB RAM, gigabit ethernet, SATA, HDMI, mini-PCIE, and more.</p>

The NVIDIA Jetson TK1 is a quad-core ARMv7 development board that features an NVIDIA Tegra K1 (32-bit) SoC (quad-core Cortex-A15 @ 2.3GHz), 2GB RAM, gigabit ethernet, SATA, HDMI, mini-PCIE, and more.

Since my last status update on the port, HDMI video and audio support have been added along with a handful of stability fixes.

NetBSD -current includes support for this

(Read more...)