Skip to content

Commit

Permalink
Update FAQ multi-core answer
Browse files Browse the repository at this point in the history
Make terminology clearer and state that RISC-V SMP is supported.
  • Loading branch information
Ivan-Velickovic committed Aug 17, 2023
1 parent 4f28c8d commit 3d59015
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion projects/sel4/frequently-asked-questions.md
Original file line number Diff line number Diff line change
Expand Up @@ -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).

Expand Down

0 comments on commit 3d59015

Please sign in to comment.