From 4d3661f2cccff784b1fc1bd405e2290cdb3287b7 Mon Sep 17 00:00:00 2001
From: Martin Michlmayr <tbm@cyrius.com>
Date: Wed, 22 Jun 2016 19:14:00 +0000
Subject: Add NVIDIA Jetson TK1 as supported system

---
 en/hardware/supported/arm.xml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'en/hardware/supported/arm.xml')

diff --git a/en/hardware/supported/arm.xml b/en/hardware/supported/arm.xml
index 79bd27953..bd1dc02cc 100644
--- a/en/hardware/supported/arm.xml
+++ b/en/hardware/supported/arm.xml
@@ -254,6 +254,19 @@ hardware. They are also common in the x86 PC world.
         </listitem>
       </varlistentry>
 
+      <varlistentry>
+        <term>NVIDIA Jetson TK1</term>
+        <listitem>
+          <para>
+            The NVIDIA Jetson TK1 is a developer board based on the Tegra
+            K1 chip (also known as Tegra 124).  The Tegra K1 features a
+            quad-core 32-bit ARM Cortex-A15 CPU and Kepler GPU (GK20A)
+            with 192 CUDA cores.  Other systems based on the Tegra 124
+            may work, too.
+          </para>
+        </listitem>
+      </varlistentry>
+
       <varlistentry>
         <term>Seagate Personal Cloud and Seagate NAS</term>
         <listitem>
-- 
cgit v1.2.3