From 9664cca74aa573517d6767b25f0653aef1bb5b2e Mon Sep 17 00:00:00 2001 From: June Andronick Date: Fri, 15 Mar 2024 14:54:46 +0100 Subject: [PATCH] hardware: tweak (one less 'below') Signed-off-by: June Andronick --- Hardware/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Hardware/index.md b/Hardware/index.md index 0c132c831c..7ac52847e8 100644 --- a/Hardware/index.md +++ b/Hardware/index.md @@ -40,7 +40,7 @@ More information can be found on the [Verified Configurations](../projects/sel4/ ### Not in the lists below? -If the platform, architecture, feature that you are after is not listed below, +If the platform, architecture, feature that you are after is not listed on this page, you have several options, listed below. It is important to note however that, as explained in the guidelines linked below, contributing new ports or features will require compelling arguments, discussion with the technical community (including through