platf owner: fixed link

Signed-off-by: June Andronick <[email protected]>
seL4 · Mar 26, 2024 · 6dda434 · 6dda434
1 parent 58fc2e8
commit 6dda434
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/projects/sel4/kernel-contribution.md b/projects/sel4/kernel-contribution.md
@@ -33,7 +33,7 @@ architecture.
 The main thing is to:
 
 * follow the [platform porting guide](/projects/sel4/porting);
-* follow the guidelines to [become a platform owner](/projects/seL4/platf-owner.html).
+* follow the guidelines to [become a platform owner](/projects/sel4/platf-owner.html).
 
 Questions, discussion, and sharing of work in progress during this stage are
 welcome.