| cmake_plat | xcompiler_arg | arm_hardware | platform | arch | virtualization | iommu | soc | cpu | Status | Contrib | Maintained | SPDX-License-Identifier | SPDX-FileCopyrightText |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
ultra96v2 |
-DAARCH64=1 |
true |
Ultra96v2 Evaluation Kit |
ARMv8A |
ARM HYP |
SMMU |
Zynq UltraScale+ MPSoC |
Cortex-A53 |
Unverified |
[DornerWorks](https://dornerworks.com) |
[DornerWorks](https://dornerworks.com) |
CC-BY-SA-4.0 |
2020 seL4 Project a Series of LF Projects, LLC. |
The board is an Avnet Ultra96v2, which is a low-cost Zynq MPSoC development platform developed by AVNET.
AVNET maintains online material, including designs and documentation here.
{% include sel4test.md %}
The Ultra96v2 also supports AArch32 mode. If you choose to build the AArch32 kernel,
please be sure to pass -DAARCH32=1 instead of -DAARCH64=1. This requires modifications to u-boot
to execute in 32-bit mode. See the ZCU102 page for instructions.
The ultra96v2 comes with a pre-formatted SD card. Load the sel4test-driver-image-arm-zynqmp onto
the SD card, then insert the SD card into the Ultra96v2 and power on the board, dropping into the
U-boot prompt. When at the prompt, type the following to run sel4test:
fatload mmc 0 0x10000000 sel4test-driver-image-arm-zynqmp
bootelf 0x10000000