Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

hardware: make title consistent in page/menus #214

Merged
merged 3 commits into from
Jan 29, 2024
Merged

hardware: make title consistent in page/menus #214

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
a244e09
hardware: make title consistent in page/menus
june-andronick Dec 19, 2023
cf26dd6
Merge branch 'master' into hw-title
lsf37 Jan 12, 2024
c229d72
hardware: converged on platform for titles
june-andronick Jan 29, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Hardware/index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
2 changes: 1 addition & 1 deletion _data/sidebar.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ This documentation site is for cooperatively developing and sharing documentatio
<li><a href="/projects/roadmap.html">Roadmap</a></li>
<li><a href="/projects/buildsystem/host-dependencies.html">Build dependencies</a></li>
<li><a href="/GettingStarted#running-sel4">Building and Running seL4</a></li>
<li><a href="/Hardware">Hardware and Target platforms</a></li>
<li><a href="/Hardware">Supported platforms</a></li>
<li><a href="/projects/sel4/verified-configurations.html">Verification targets and claims</a></li>
</ul>
</div>
Expand Down
Loading