Update FAQ multi-core answer

Make terminology clearer and state that RISC-V SMP is supported. Signed-off-by: Ivan-Velickovic <[email protected]>
seL4 · Aug 17, 2023 · cd69a8e · cd69a8e
1 parent 4f28c8d
commit cd69a8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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).