From 258381c245ee9d7d035eb44853b7ebd549e2ef64 Mon Sep 17 00:00:00 2001 From: June Andronick Date: Mon, 29 Jan 2024 09:18:28 +0100 Subject: [PATCH] hardware: make title consistent in page/menus (#214) * hardware: make title consistent in page/menus Used the term "Supported platforms" (after discussion with Gerwin and Ivan) for: the page title, the side menu and the landing page (table of content). Signed-off-by: June Andronick Co-authored-by: Gerwin Klein --- 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 a4c40156e1..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 Platforms +# Supported platforms ### Summary diff --git a/_data/sidebar.yml b/_data/sidebar.yml index 6c41f0d9ce..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 + - page: Supported platforms url: /Hardware/ - page: Available components url: /projects/available-user-components.html diff --git a/index.md b/index.md index 430e8aa803..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
    • -
  • Hardware and Target platforms
    • +
  • Supported platforms
  • Verification targets and claims