Dear seL4 community,
We are extremely pleased to announce that seL4 now supports the RISC-V architecture, making it the third seL4 architecture besides ARM and x86.
This is a major step in the seL4 story. For details see https://sel4.systems/pipermail/devel/2018-April/001928.html
Gernot for the Trustworthy Systems Team
