From a244e0920f22c64c3ea769920836c39742b246b9 Mon Sep 17 00:00:00 2001 From: June Andronick Date: Tue, 19 Dec 2023 10:33:17 +0100 Subject: [PATCH 1/2] hardware: make title consistent in page/menus Used the term "Supported hardware platforms" (after discussion with Gerwin) for: the Hardware page title, the side menu and the landing page (table of content). Signed-off-by: June Andronick --- Hardware/index.md | 2 +- _data/sidebar.yml | 2 +- index.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Hardware/index.md b/Hardware/index.md index 9879e33dc1..9c7796db75 100644 --- a/Hardware/index.md +++ b/Hardware/index.md @@ -2,7 +2,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --- -# Supported Platforms +# Supported hardware platforms ## Verification status diff --git a/_data/sidebar.yml b/_data/sidebar.yml index 6c41f0d9ce..cff3c5ab5e 100644 --- a/_data/sidebar.yml +++ b/_data/sidebar.yml @@ -13,7 +13,7 @@ toc: url: /projects/sel4/frequently-asked-questions.html - page: Set up your machine url: /projects/buildsystem/host-dependencies.html - - page: Supported hardware + - page: Supported hardware platforms url: /Hardware/ - page: Available components url: /projects/available-user-components.html diff --git a/index.md b/index.md index 430e8aa803..034b16da04 100644 --- a/index.md +++ b/index.md @@ -24,7 +24,7 @@ This documentation site is for cooperatively developing and sharing documentatio
  • Roadmap
  • Build dependencies
  • Building and Running seL4
    • -
  • Hardware and Target platforms
    • +
  • Supported hardware platforms
  • Verification targets and claims
    • From c229d72856c0cef7d2dc33eb7f452c84b2152fe9 Mon Sep 17 00:00:00 2001 From: June Andronick Date: Mon, 29 Jan 2024 09:12:40 +0100 Subject: [PATCH 2/2] hardware: converged on platform for titles Signed-off-by: June Andronick --- Hardware/index.md | 2 +- _data/sidebar.yml | 2 +- index.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Hardware/index.md b/Hardware/index.md index 36e3407095..9b7c9f6038 100644 --- a/Hardware/index.md +++ b/Hardware/index.md @@ -2,7 +2,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. --- -# Supported hardware platforms +# Supported platforms ### Summary diff --git a/_data/sidebar.yml b/_data/sidebar.yml index cff3c5ab5e..398790862c 100644 --- a/_data/sidebar.yml +++ b/_data/sidebar.yml @@ -13,7 +13,7 @@ toc: url: /projects/sel4/frequently-asked-questions.html - page: Set up your machine url: /projects/buildsystem/host-dependencies.html - - page: Supported hardware platforms + - page: Supported platforms url: /Hardware/ - page: Available components url: /projects/available-user-components.html diff --git a/index.md b/index.md index 034b16da04..dee4f9691b 100644 --- a/index.md +++ b/index.md @@ -24,7 +24,7 @@ This documentation site is for cooperatively developing and sharing documentatio
  • Roadmap
  • Build dependencies
  • Building and Running seL4
    • -
  • Supported hardware platforms
    • +
  • Supported platforms
  • Verification targets and claims