<div dir="ltr">Great news<br><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>From: <b class="gmail_sendername" dir="auto">Heiser, Gernot (Data61, Kensington NSW)</b> <span dir="auto"><<a href="mailto:Gernot.Heiser@data61.csiro.au">Gernot.Heiser@data61.csiro.au</a>></span><br>Date: Fri, 25 Oct 2019 at 10:13<br>Subject: [seL4] The seL4 Foundation is coming!<br>To: devel@sel4.systems <devel@sel4.systems><br></div><br><br>



<div style="word-wrap:break-word;line-break:after-white-space">
Re-post from <a href="mailto:announce@sel4.systems" target="_blank">announce@sel4.systems</a> regarding the seL4 Foundation. We’ll start recruiting members soon.
<div><br>
</div>
<div>Gernot<br>
<div><br>
<blockquote type="cite">
<div>Begin forwarded message:</div>
<br>
<div style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0px">
<span style="font-family:-webkit-system-font,Helvetica Neue,Helvetica,sans-serif;color:rgba(0,0,0,1.0)"><b>From:
</b></span><span style="font-family:-webkit-system-font,Helvetica Neue,Helvetica,sans-serif">Announcements about seL4 -- low volume list <<a href="mailto:announce@sel4.systems" target="_blank">announce@sel4.systems</a>><br>
</span></div>
<div style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0px">
<span style="font-family:-webkit-system-font,Helvetica Neue,Helvetica,sans-serif;color:rgba(0,0,0,1.0)"><b>Subject:
</b></span><span style="font-family:-webkit-system-font,Helvetica Neue,Helvetica,sans-serif"><b>[seL4 Announce] The seL4 Foundation is coming!</b><br>
</span></div>
<div style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0px">
<span style="font-family:-webkit-system-font,Helvetica Neue,Helvetica,sans-serif;color:rgba(0,0,0,1.0)"><b>Date:
</b></span><span style="font-family:-webkit-system-font,Helvetica Neue,Helvetica,sans-serif">25 October 2019 at 17:09:30 AEDT<br>
</span></div>
<div style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0px">
<span style="font-family:-webkit-system-font,Helvetica Neue,Helvetica,sans-serif;color:rgba(0,0,0,1.0)"><b>To:
</b></span><span style="font-family:-webkit-system-font,Helvetica Neue,Helvetica,sans-serif">"<a href="mailto:announce@sel4.systems" target="_blank">announce@sel4.systems</a>" <<a href="mailto:announce@sel4.systems" target="_blank">announce@sel4.systems</a>><br>
</span></div>
<div style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0px">
<span style="font-family:-webkit-system-font,Helvetica Neue,Helvetica,sans-serif;color:rgba(0,0,0,1.0)"><b>Reply-To:
</b></span><span style="font-family:-webkit-system-font,Helvetica Neue,Helvetica,sans-serif"><<a href="mailto:announce@sel4.systems" target="_blank">announce@sel4.systems</a>><br>
</span></div>
<br>
<div>
<div>Dear seL4 community,<br>
<br>
With great excitement we announce that we are in the process of setting up an seL4 Foundation, similar to foundations for other open-source projects, such as Linux and RISC-V. This will form an open, transparent and neutral organisation tasked with growing
 the seL4 ecosystem. It will bring together developers of the seL4 kernel, developers of seL4-based components and frameworks, and those deploying seL4-based systems. Its focus will be on coordinating, directing and standardising development of the seL4 ecosystem
 in order to reduce barriers to adoption, raising funds for accelerating development, and ensuring clarity of verification claims.<br>
<br>
This was originally announced at the seL4 Summit in the US last month. I apologise for the delay in this posting (side-tracked with various issues).<br>
<br>
Gernot on behalf of the Trustworthy Systems team<br>
<br>
<br>
_______________________________________________<br>
Announce mailing list<br>
<a href="mailto:Announce@sel4.systems" target="_blank">Announce@sel4.systems</a><br>
<a href="https://sel4.systems/lists/listinfo/announce" target="_blank">https://sel4.systems/lists/listinfo/announce</a><br>
</div>
</div>
</blockquote>
</div>
<br>
</div>
</div>

_______________________________________________<br>
Devel mailing list<br>
Devel@sel4.systems<br>
<a href="https://sel4.systems/lists/listinfo/devel" rel="noreferrer" target="_blank">https://sel4.systems/lists/listinfo/devel</a><br>
</div></div></div>