| toc | arm_hardware | cmake_plat | xcompiler_arg | platform | arch | virtualization | iommu | soc | cpu | Status | Contrib | Maintained | SPDX-License-Identifier | SPDX-FileCopyrightText |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
true |
true |
tx2 |
-DAARCH64=1 |
TX2 |
ARMv8A, AArch64 only |
Yes |
Yes |
NVIDIA Tegra X2 |
Cortex-A57 Quad, Dual NVIDIA Denver |
[in progress](/projects/sel4/verified-configurations.html#aarch64) |
Data61 |
seL4 Foundation |
CC-BY-SA-4.0 |
2020 seL4 Project a Series of LF Projects, LLC. |
The Jetson TX2 is an embedded system-on-module (SOM) developed by NVIDIA.
The seL4 kernel has a limited port to the TX2 which supports the SoM only in 64-bit mode.
{% include sel4test.md %}
A U-Boot uImage will be created by the seL4 build system. This can be booted by U-Boot using PXE.