From cb5305c9cbad09a9de6383203431f5172e4fb3b8 Mon Sep 17 00:00:00 2001 From: June Andronick Date: Tue, 19 Dec 2023 11:12:46 +0100 Subject: [PATCH] hardware: consistency in verification status - changed "pending" and "in progress" to "ongoing" - removed the "pending status" for the Ariane platform - changed column title from "Status" to "Verification Status" (it wraps so doesn't take much more space) Signed-off-by: June Andronick --- Hardware/JetsonTX2.md | 2 +- Hardware/ariane.md | 2 +- Hardware/index.md | 10 +++++----- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/Hardware/JetsonTX2.md b/Hardware/JetsonTX2.md index f4b9b2490b..5d2a88dfc0 100644 --- a/Hardware/JetsonTX2.md +++ b/Hardware/JetsonTX2.md @@ -9,7 +9,7 @@ virtualization: "Yes" iommu: "Yes" soc: NVIDIA Tegra X2 cpu: Cortex-A57 Quad, Dual NVIDIA Denver -Status: "[in progress](/projects/sel4/verified-configurations.html#aarch64)" +Status: "[Ongoing](/projects/sel4/verified-configurations.html#aarch64)" Contrib: Data61 Maintained: seL4 Foundation SPDX-License-Identifier: CC-BY-SA-4.0 diff --git a/Hardware/ariane.md b/Hardware/ariane.md index db3a0661c6..38ae4907a1 100644 --- a/Hardware/ariane.md +++ b/Hardware/ariane.md @@ -7,7 +7,7 @@ arch: RV64IMAC virtualization: "No" iommu: "No" simulation_target: false -Status: "Pending" +Status: "Unverified" Contrib: "Data61" Maintained: "Hensoldt Cyber" cpu: Ariane diff --git a/Hardware/index.md b/Hardware/index.md index 012794f685..fdc64481f8 100644 --- a/Hardware/index.md +++ b/Hardware/index.md @@ -9,7 +9,7 @@ SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. The seL4 proofs are only for specific platforms, as noted in the *Status* column as follows: * Unverified: this platform is not verified at all and is not scheduled for verification. -* Pending: this feature is currently undergoing verification. +* Ongoing: this feature is currently undergoing verification. * FC: the functional correctness proofs are complete. * Verified: all proofs for this platform are complete, including functional correctness, integrity and information flow. @@ -26,7 +26,7 @@ See [Running It](/seL4Test#RunningIt) for how to run seL4 using Qemu. We support PC99-style Intel Architecture Platforms. -| Platform | Arch | Virtualisation | IOMMU | Status | Contributed by | Maintained by | +| Platform | Arch | Virtualisation | IOMMU | Verification Status | Contributed by | Maintained by | | - | - | - | - | - | - | - | | [PC99 (32-bit)](IA32) | x86 | VT-X | VT-D | Unverified | Data61 | seL4 Foundation | | [PC99 (64-bit)](IA32) | x64 | VT-X | VT-D | [FC (without VT-X, VT-D and fastpath)][X64] | Data61 | seL4 Foundation | @@ -39,7 +39,7 @@ seL4 has support for select ARMv7 and ARMv8 Platforms. * [General info on ARM Platforms](GeneralARM) -| Platform | System-on-chip | Core | Arch | Virtualisation | SMMU | Status | Contributed by | Maintained by | +| Platform | System-on-chip | Core | Arch | Virtualisation | SMMU | Verification Status | Contributed by | Maintained by | | - | - | - | - | - | - | - | - | - | {%- assign sorted = site.pages | sort: 'platform' %} {% for page in sorted %} @@ -53,8 +53,8 @@ seL4 has support for select ARMv7 and ARMv8 Platforms. We currently provide support for some of the RISC-V platforms. Support for the hypervisor extension is yet to be mainlined. -| Platform | Simulation | System-on-chip | Core | Arch | Virtualisation | Status | Contributed by | Maintained by | -| - | - | - | - | - | - | - | - | - | +| Platform | Simulation | System-on-chip | Core | Arch | Virtualisation | Verification Status | Contributed by | Maintained by | +| - | - | - | - | - | - | - | - | - | {% for page in sorted %} {%- if page.riscv_hardware -%} | [{{ page.platform }}]({{page.url}}) | {% if page.simulation_target %}Yes{% else %}No{% endif %} | {{ page.soc }} | {{ page.cpu }} | {{ page.arch }} | {{ page.virtualization }} | {{ page.Status }} | {{ page.Contrib }} | {{ page.Maintained }} |