<div dir="auto">Great news </div><br><div class="gmail_quote"><div dir="ltr">---------- Forwarded message ---------<br>From: Announcements about seL4 -- low volume list <announce@sel4.systems><br>Date: Wed, 18 Apr 2018, 08:20<br>Subject: [seL4 Announce] seL4 supports RISC-V<br>To:  <announce@sel4.systems><br></div><br><br>Dear seL4 community,<br>
<br>
We are extremely pleased to announce that seL4 now supports the RISC-V architecture, making it the third seL4 architecture besides ARM and x86.<br>
<br>
This is a major step in the seL4 story. For details see <a href="https://sel4.systems/pipermail/devel/2018-April/001928.html" rel="noreferrer noreferrer" target="_blank">https://sel4.systems/pipermail/devel/2018-April/001928.html</a><br>
<br>
Gernot for the Trustworthy Systems Team<br>
<br>
_______________________________________________<br>
Announce mailing list<br>
Announce@sel4.systems<br>
<a href="https://sel4.systems/lists/listinfo/announce" rel="noreferrer noreferrer" target="_blank">https://sel4.systems/lists/listinfo/announce</a><br>
</div>