hardware: feedback from Gerwin

Co-authored-by: Gerwin Klein <[email protected]> Signed-off-by: June Andronick <[email protected]>
seL4 · Dec 20, 2023 · 342fd87 · 342fd87
1 parent 414776d
commit 342fd87
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Hardware/index.md b/Hardware/index.md
@@ -23,8 +23,8 @@ available. For each platform, the tables list:
 
 - whether specific features are supported (e.g. *Virtualisation*, *IOMMU/SSMU*, etc) and to which degree (where applicable);
 - the *verification status* (see more [below](#verification-status));
-- who has contributed this configuration;
-- who is maintaining this configuration.
+- who has contributed this platform port;
+- who is maintaining this platform port.
 
 ### Verification status