日本語のみで絞り込む

2014/4/3 -Jetson TK1 is a tiny but full-featured computer designed for development of embedded and mobile applications. Jetson TK1 is exciting because it ...

It is a fully functional CUDA platform that will allow you to quickly develop and deploy compute-intensive systems for computer vision, robotics, and medicine.

2015/2/3 -A console-grade tool that allows developers to debug and profile OpenGL ES 2.0, OpenGL ES 3.0, OpenGL ES 3.1, OpenGL 4.3 and OpenGL 4.4 enabling ...

The Jetson TK1 was a mobile graphics chip by NVIDIA, launched on October 15th, 2014. Built on the 28 nm process, and based on the GK20A graphics processor, ...


Jetson TK1 | seL4 docs

  1. https://docs.sel4.systems
  2. Supported platforms
  1. https://docs.sel4.systems
  2. Supported platforms

Jetson TK1. The Jetson TK1 is a affordable embedded system developed by NVIDIA. It runs seL4. We will explain how to run seL4 on the Tegra.

Nvidia Jetson is a series of embedded computing boards from Nvidia. The Jetson TK1, TX1 and TX2 models all carry a Tegra processor (or SoC) from Nvidia that ...

The NVIDIA Jetson TK1 development kit unlocks the power of the GPU for embedded applications. Built around the revolutionary Tegra K1 SOC, it uses the same ...

NVIDIA Jetson TK1 Developer Kit · Tegra K1 Processor, CD575M · 2GB DDR3L-1866 DRAM Memory · 32 Mb SPI Flash · 16GB eMMC Flash · HDMI Type A · 3.5 mm Microphone ...

2020/9/22 -The TK1 sported a quad-core Tegra K1 SoC (which used the Cortex A15 microarchitecture and actually included a fifth low-power “companion” core) ...