From 414776d9286166886d05718e83087b228e26145c Mon Sep 17 00:00:00 2001 From: June Andronick Date: Wed, 20 Dec 2023 17:39:55 +0100 Subject: [PATCH] hardware: feedback from Gerwin Co-authored-by: Gerwin Klein Signed-off-by: June Andronick --- Hardware/index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Hardware/index.md b/Hardware/index.md index 14cca52fb2..ce0fbd5baa 100644 --- a/Hardware/index.md +++ b/Hardware/index.md @@ -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