Skip to content

Commit

Permalink
hardware: feedback from Gerwin
Browse files Browse the repository at this point in the history 
Co-authored-by: Gerwin Klein <[email protected]>
Signed-off-by: June Andronick <[email protected]>
  • Loading branch information
@june-andronick @lsf37
june-andronick and lsf37 authored Dec 20, 2023
1 parent a59ceb3 commit 414776d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Hardware/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@ SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
### Summary

seL4 is available on 3 major hardware architectures, [ARM](#arm),
[RISC-V](#risc-v) and [x86](#x86), for a number of platforms (with varying
hardware features).
[RISC-V](#risc-v) and [x86](#x86), for a number of platforms with varying
hardware features.

seL4 is formally verified (to various degrees) for a subset of these
configurations, i.e. combination of architecture, platform and hardware
Expand Down

0 comments on commit 414776d

Please sign in to comment.