From 6dda434982e1b479b6d325928dbde360c3a4a1a5 Mon Sep 17 00:00:00 2001 From: June Andronick Date: Tue, 26 Mar 2024 11:13:38 +0100 Subject: [PATCH] platf owner: fixed link Signed-off-by: June Andronick --- projects/sel4/kernel-contribution.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/sel4/kernel-contribution.md b/projects/sel4/kernel-contribution.md index 4e958bfb02..f1ee1ce08c 100644 --- 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.