[lugm.org] Fwd: [seL4 Announce] seL4 supports RISC-V

[Jheengut Pritvi]

Great news

---------- Forwarded message ---------
From: Announcements about seL4 -- low volume list <announce at sel4.systems>
Date: Wed, 18 Apr 2018, 08:20
Subject: [seL4 Announce] seL4 supports RISC-V
To: <announce at sel4.systems>


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

_______________________________________________
Announce mailing list
Announce at sel4.systems
https://sel4.systems/lists/listinfo/announce
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://discuss.lugm.org/pipermail/discuss_discuss.lugm.org/attachments/20180418/e6007fc3/attachment.html>