Fwd: [seL4 Announce] seL4 Roadmap announced
"Mark S. Miller" <[email protected]> Wed, 16 Sep 2015 07:41:52 -0700
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <CABHxS9jdWGUBgBq4_owsBFuQf3Fxbr7JkTez_T6vU7KHKd30Rw@mail.gmail.com> |
---------- Forwarded message ---------- From: Announcements about seL4 -- low volume list <announce-LcaqB3DJymW7J7/[email protected]> Date: Tue, Sep 15, 2015 at 5:46 PM Subject: [seL4 Announce] seL4 Roadmap announced To: "announce-LcaqB3DJymW7J7/[email protected]" <announce-LcaqB3DJymW7J7/[email protected]> Dear seL4 community, Our development and verification roadmap is now published at https://sel4.systems/Info/Roadmap/ Gernot [...] _______________________________________________ Announce mailing list Announce-LcaqB3DJymW7J7/[email protected] https://sel4.systems/lists/listinfo/announce _______________________________________________ cap-talk mailing list [email protected] http://www.eros-os.org/mailman/listinfo/cap-talk