From 58fc2e87fc93d22225a7d8e8c5d9e6e375b70c0d Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Tue, 26 Mar 2024 18:14:50 +1100 Subject: [PATCH] porting: clarify sel4test for contributing Signed-off-by: Ivan Velickovic --- projects/sel4/porting.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/projects/sel4/porting.md b/projects/sel4/porting.md index bf99448eca..14f4d460c3 100644 --- a/projects/sel4/porting.md +++ b/projects/sel4/porting.md @@ -133,8 +133,9 @@ It is best to base the contents of this file off of other platforms of the same ## Testing your seL4 port -In order to sanity check your port of seL4, it is a good idea to get -[the seL4test project](https://docs.sel4.systems/projects/sel4test/) running and passing. +When you contribute your port to seL4, sel4test must execute successfully and so the next +step to check that your port works would be to get +[the seL4test project](https://docs.sel4.systems/projects/sel4test/) working. ### ELF-loader