--- wikisrc/ports/evbarm.mdwn 2015/04/15 12:53:38 1.19 +++ wikisrc/ports/evbarm.mdwn 2015/05/04 10:47:18 1.20 @@ -210,6 +210,9 @@ Support for the NTNP425B was written by * Other devices inserted into the PCI/mPCI slot * On-chip watchdog timer (_ixpwdog_) +### NVIDIA Tegra K1 +Support for NVIDIA [[Tegra]] K1 SoCs is present in NetBSD-current. The Jetson TK1 board is currently supported. + ### Raspberry Pi Foundation **Raspberry Pi**/**Raspberry Pi 2** The [[Raspberry Pi]] is a low-cost credit-card-sized computer from the Raspberry Pi Foundation. Both the Raspberry Pi and Raspberry Pi 2 are supported.