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