日本語のみで絞り込む

他サイトを含む一部でポイント、送料、クーポン等の情報が欠けている場合があります。またポイント等の付与は税抜価格が対象のサイトがあり、付与には条件・上限があります。-

NVIDIA Jetson TK1 Development Kit by NVIDIAの画像

73,700円送料無料

1.5%1,038円相当

ワールドフィギュアショップ-Yahoo!ショッピング

NVIDIA Jetson AGX Orin 64GB 開発者キットの画像

399,980円送料無料

7,000円クーポン1.5%5,635円相当

XPRICE Yahoo!店-Yahoo!ショッピング

ステレオカメラ開発キット(ZED_Jetson版)の画像

69,300円送料無料

1.5%976円相当

スペクトラムテクノロジ・ヤフー店-Yahoo!ショッピング

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 ...

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, ...

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 ...

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) ...

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.

2020/2/21 -We observe that TX2 delivers more performance for less power compared to TX1. One can observe that Nano delivers less that TK1, even if its CPU ...

Review from the perspective of a developer/IT/academia. ... Comes with SOC fan. Barrel power connector instead of a fickle micro USB. Web site with drivers, ...


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.

A.無理です。 技術的には可能かもしれませんが、利用者がインストール可能な形態では配布されていませんので。 (現存するものは機器組み込み用OSです)

解決済み-回答:2件-2014/11/26

A.今の時点では誰も判りません(かなり勇み足です)。 発売されても、すぐに対応するかどうか。 メーカーへ直接、問い合わせても的確な答えは返ってこないかも。 まあ半年強、待ちましょう。

解決済み-回答:1件-2015/2/20