From c3d8a2e42c0724963ab94af7614f7cfbad827f41 Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Thu, 17 Aug 2023 10:36:55 +1000 Subject: [PATCH] Update FAQ multi-core answer Make terminology clearer and state that RISC-V SMP is supported. Signed-off-by: Ivan-Velickovic --- projects/sel4/frequently-asked-questions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/sel4/frequently-asked-questions.md b/projects/sel4/frequently-asked-questions.md index 074afcc98b..fab555f597 100644 --- a/projects/sel4/frequently-asked-questions.md +++ b/projects/sel4/frequently-asked-questions.md @@ -135,7 +135,7 @@ There is unverified support for the SystemMMU on multiple ARM boards. ### Does seL4 support multicore? -Multicore is presently supported on x64 and Arm v7 (32-bit) and v8 (64-bit). +Multicore is presently supported on x64, ARMv7, ARMv8, and RISC-V. Verification of the multicore kernel is in progress (but presently as an unfunded background activity).