Skip to content

Commit

Permalink
deploy: seL4/website@9575091
Browse files Browse the repository at this point in the history
  • Loading branch information
@lsf37
lsf37 committed Jul 29, 2024
1 parent 80699fe commit 300f191
Show file tree
Hide file tree
Showing 6 changed files with 205 additions and 205 deletions.
42 changes: 21 additions & 21 deletions PR_381/news/2021.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,7 @@ <h1>
<a href="#member-tii"><span class="tag-span"># </span></a>
16 Dec 2021: Technology Innovation Institute joins the seL4 Foundation
</div>
<div><a href="https://www.tii.ae"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/TII.jpg" width="20%" class="news-img" alt="TII logo"></a><p>The seL4 Foundation is pleased to welcome the Technology Innovation Institute.</p>
<div><a href="https://www.tii.ae"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/TII.jpg" style="width:20%;" class="news-img" alt="TII logo"></a><p>The seL4 Foundation is pleased to welcome the Technology Innovation Institute.</p>

<p>Technology Innovation Institute’s (TII) Secure Systems Research Centre (SSRC)
has obtained seL4 Foundation membership that will enable the Centre to
Expand All @@ -118,7 +118,7 @@ <h1>
<a href="#risc-v-infoflow"><span class="tag-span"># </span></a>
02 Dec 2021: Proof that seL4 enforces confidentiality established for RISC-V
</div>
<div><a href="https://riscv.org"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/RISC-V.svg" width="20%" class="news-img" alt="RISC-V logo"></a><p>
<div><a href="https://riscv.org"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/RISC-V.svg" style="width:20%;" class="news-img" alt="RISC-V logo"></a><p>
In July, we announced that the assurance story for <a
href="https://sel4.systems">seL4</a> on <a href="https://riscv.org">RISC-V</a>
keeps building, with the completion of the proof that <a
Expand Down Expand Up @@ -193,7 +193,7 @@ <h1>
<a href="#member-proofcraft"><span class="tag-span"># </span></a>
14 Sep 2021: Proofcraft joins the seL4 Foundation
</div>
<div><a href="https://proofcraft.systems"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/proofcraft.svg" width="20%" class="news-img" alt="Proofcraft Logo"></a><p>The seL4 Foundation is pleased to welcome Proofcraft.</p>
<div><a href="https://proofcraft.systems"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/proofcraft.svg" style="width:20%;" class="news-img" alt="Proofcraft Logo"></a><p>The seL4 Foundation is pleased to welcome Proofcraft.</p>

<p>Founded by the seL4 verification leaders,
<a href="https://proofcraft.systems">Proofcraft</a> offers commercial support, verification
Expand Down Expand Up @@ -285,7 +285,7 @@ <h1>
<a href="#member-lotus"><span class="tag-span"># </span></a>
18 Aug 2021: Lotus Cars joins the seL4 Foundation
</div>
<div><a href="https://www.lotuscars.com/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/LotusCarsTechnology.svg" width="15%" class="news-img" alt="Lotus Cars logo"></a><p>The seL4 Foundation welcomes <a href="https://www.lotuscars.com/">Lotus Cars</a>.</p>
<div><a href="https://www.lotuscars.com/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/LotusCarsTechnology.svg" style="width:15%;" class="news-img" alt="Lotus Cars logo"></a><p>The seL4 Foundation welcomes <a href="https://www.lotuscars.com/">Lotus Cars</a>.</p>

<p>Lotus is a leader in the Global Premium Sport Car market. We stand out as a
brand dedicated to pure driving experience. Committed to advancing technology
Expand Down Expand Up @@ -338,7 +338,7 @@ <h1>
<a href="#member-ksu"><span class="tag-span"># </span></a>
02 Aug 2021: Kansas State University joins seL4 Foundation
</div>
<div><a href="https://www.k-state.edu/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/kansas-state.svg" width="15%" class="news-img" alt="KSU logo"></a><p>The seL4 Foundation is pleased to <a href="https://www.k-state.edu/">Kansas State University</a>
<div><a href="https://www.k-state.edu/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/kansas-state.svg" style="width:15%;" class="news-img" alt="KSU logo"></a><p>The seL4 Foundation is pleased to <a href="https://www.k-state.edu/">Kansas State University</a>
as Associate Member.</p>

<p>KSU has for years been collaborating for years on seL4-based projects with a
Expand Down Expand Up @@ -449,7 +449,7 @@ <h1>
<a href="#member-tum"><span class="tag-span"># </span></a>
13 Jul 2021: TU Munich joins seL4 Foundation
</div>
<div><a href="https://www.tum.de/en"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/TU-Munich.svg" width="15%" class="news-img" alt="TU Munich logo"></a><p>The seL4 Foundation is pleased to welcome <a href="https://www.tum.de/en">Technical University of Munich</a> as
<div><a href="https://www.tum.de/en"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/TU-Munich.svg" style="width:15%;" class="news-img" alt="TU Munich logo"></a><p>The seL4 Foundation is pleased to welcome <a href="https://www.tum.de/en">Technical University of Munich</a> as
Associate Member.</p>

<p>The TUM, home of the Isabelle theorem prover used in the verification of seL4, has been a
Expand All @@ -460,7 +460,7 @@ <h1>
<a href="#member-second-state"><span class="tag-span"># </span></a>
08 Jul 2021: Second State joins the seL4 Foundation
</div>
<div><a href="https://secondstate.io"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/secondstate.svg" width="15%" class="news-img" alt="Second State logo"></a><p>The seL4 Foundation <a href="https://secondstate.io">Second State</a> as a member.</p>
<div><a href="https://secondstate.io"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/secondstate.svg" style="width:15%;" class="news-img" alt="Second State logo"></a><p>The seL4 Foundation <a href="https://secondstate.io">Second State</a> as a member.</p>

<p>Second State is the creator and maintainer of WasmEdge, a CNCF / Linux
Foundation project, which provides a high-performance, lightweight,
Expand Down Expand Up @@ -561,7 +561,7 @@ <h1>
<a href="#member-jump"><span class="tag-span"># </span></a>
29 Jun 2021: Jump Trading joins the seL4 Foundation
</div>
<div><a href="https://jumptrading.com/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/Jump-Trading.svg" width="20%" class="news-img" alt="Jump Trading logo"></a><p>The seL4 Foundation welcomes <a href="https://jumptrading.com/">Jump Trading</a> as a
<div><a href="https://jumptrading.com/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/Jump-Trading.svg" style="width:20%;" class="news-img" alt="Jump Trading logo"></a><p>The seL4 Foundation welcomes <a href="https://jumptrading.com/">Jump Trading</a> as a
Premium Member.</p>

<p>Jump is a research-based organization that is committed to applying cutting edge
Expand All @@ -576,7 +576,7 @@ <h1>
<a href="#member-li-auto"><span class="tag-span"># </span></a>
23 Jun 2021: Li Auto joins the seL4 Foundation
</div>
<div><a href="https://lixiang.com"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/Li_Auto.svg" width="20%" class="news-img" alt="Li Auto logo"></a><p>The seL4 Foundation welcomes <a href="https://lixiang.com">Li Auto Inc.</a> as a Premium
<div><a href="https://lixiang.com"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/Li_Auto.svg" style="width:20%;" class="news-img" alt="Li Auto logo"></a><p>The seL4 Foundation welcomes <a href="https://lixiang.com">Li Auto Inc.</a> as a Premium
Member.</p>

<p>Li Auto is an innovator in China’s new energy vehicle market. The Company
Expand All @@ -603,7 +603,7 @@ <h1>
<a href="#horizon-20210623"><span class="tag-span"># </span></a>
23 Jun 2021: Horizon Robotics joins the seL4 Foundation
</div>
<div><a href="https://horizon.ai"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/Horizon_Robotics.svg" width="25%" class="news-img" alt="Horizon Robotics logo"></a><p>The seL4 Foundation welcomes <a href="https://horizon.ai">Horizon Robotics</a> as a Premium
<div><a href="https://horizon.ai"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/Horizon_Robotics.svg" style="width:25%;" class="news-img" alt="Horizon Robotics logo"></a><p>The seL4 Foundation welcomes <a href="https://horizon.ai">Horizon Robotics</a> as a Premium
Member.</p>

<p>Horizon Robotics is a global leader in the development of artificial
Expand Down Expand Up @@ -632,7 +632,7 @@ <h1>
<a href="#member-xcalibyte"><span class="tag-span"># </span></a>
22 Jun 2021: Xcalibyte joins the seL4 Foundation
</div>
<div><a href="https://xcalibyte.com"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/xcalibyte.svg" width="15%" class="news-img" alt="Xcalibyte logo"></a><p>The seL4 Foundation welcomes <a href="https://xcalibyte.com">Xcalibyte</a> as a member.</p>
<div><a href="https://xcalibyte.com"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/xcalibyte.svg" style="width:15%;" class="news-img" alt="Xcalibyte logo"></a><p>The seL4 Foundation welcomes <a href="https://xcalibyte.com">Xcalibyte</a> as a member.</p>

<p>Xcalibyte’s mission is to improve the quality of software by creating
easy-to-use tools that help developers build and deploy reliable and secure
Expand All @@ -654,7 +654,7 @@ <h1>
<a href="#member-nio"><span class="tag-span"># </span></a>
18 Jun 2021: NIO joins the seL4 Foundation
</div>
<div><a href="https://nio.com"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/NIO.svg" width="15%" class="news-img" alt="NIO logo"></a><p>The seL4 Foundation welcomes <a href="https://nio.com">NIO Inc</a> as a Premium member.</p>
<div><a href="https://nio.com"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/NIO.svg" style="width:15%;" class="news-img" alt="NIO logo"></a><p>The seL4 Foundation welcomes <a href="https://nio.com">NIO Inc</a> as a Premium member.</p>

<p>NIO is a pioneer in China’s premium electric vehicle market. We design, jointly
manufacture, and sell smart and connected premium electric vehicles, driving
Expand Down Expand Up @@ -683,7 +683,7 @@ <h1>
<a href="#sel4-12-1-0"><span class="tag-span"># </span></a>
11 Jun 2021: seL4 12.1.0 released
</div>
<div><a href="https://sel4.systems"><img src="/website_pr_hosting/images/seL4.svg" width="15%" class="news-img" alt="seL4"></a><p>The seL4 Foundation has released the following updates:</p>
<div><a href="https://sel4.systems"><img src="/website_pr_hosting/images/seL4.svg" style="width:15%;" class="news-img" alt="seL4"></a><p>The seL4 Foundation has released the following updates:</p>

<ul>
<li>seL4 v12.1.0:
Expand Down Expand Up @@ -711,7 +711,7 @@ <h1>
<a href="#ceo"><span class="tag-span"># </span></a>
09 Jun 2021: seL4 Foundation appoints CEO
</div>
<div><a href="https://sel4.foundation"><img src="/website_pr_hosting/Foundation/Board/TS-June-s.jpg" width="80px" class="news-img" alt="June Andronick"></a><p>The seL4 Foundation has appointed Dr June Andronick as (part time) CEO. June,
<div><a href="https://sel4.foundation"><img src="/website_pr_hosting/Foundation/Board/TS-June-s.jpg" style="width:80px;" class="news-img" alt="June Andronick"></a><p>The seL4 Foundation has appointed Dr June Andronick as (part time) CEO. June,
already a permanent board member as one of the founders of the seL4 technology,
continues to fulfil the role of Treasurer.</p>

Expand All @@ -720,7 +720,7 @@ <h1>
<a href="#member-kry10"><span class="tag-span"># </span></a>
07 Jun 2021: Kry10 joins the seL4 Foundation!
</div>
<div><a href="https://www.kry10.com/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/Kry10.svg" width="15%" class="news-img" alt="Kry10 logo"></a><p>The seL4 Foundation welcomes New-Zealand based <a href="https://www.kry10.com/">Kry10</a>
<div><a href="https://www.kry10.com/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/Kry10.svg" style="width:15%;" class="news-img" alt="Kry10 logo"></a><p>The seL4 Foundation welcomes New-Zealand based <a href="https://www.kry10.com/">Kry10</a>
as our latest member.</p>

<p>“We believe that formal methods and proven code is the only viable option
Expand All @@ -739,7 +739,7 @@ <h1>
<a href="#sel4-support"><span class="tag-span"># </span></a>
24 May 2021: 4 concrete ways to support seL4 now
</div>
<div><a href="https://sel4.foundation"><img src="/website_pr_hosting/images/sel4-foundation-logo.svg" width="15%" class="news-img" alt="seL4 Foundation logo"></a><p>
<div><a href="https://sel4.foundation"><img src="/website_pr_hosting/images/sel4-foundation-logo.svg" style="width:15%;" class="news-img" alt="seL4 Foundation logo"></a><p>
It has been heart-warming to see the response of the seL4 community to the
news of the dismantlement of the Trustworthy Systems group (TS), creator of
seL4.
Expand Down Expand Up @@ -845,7 +845,7 @@ <h1>
<a href="#jobs-page"><span class="tag-span"># </span></a>
23 May 2021: New "Jobs" page on the seL4 Foundation website
</div>
<div><a href="https://sel4.foundation"><img src="/website_pr_hosting/images/sel4-foundation-logo.svg" width="15%" class="news-img" alt="seL4 Foundation logo"></a><p>The community has expressed a need to more easily find seL4 experts to hire. The
<div><a href="https://sel4.foundation"><img src="/website_pr_hosting/images/sel4-foundation-logo.svg" style="width:15%;" class="news-img" alt="seL4 Foundation logo"></a><p>The community has expressed a need to more easily find seL4 experts to hire. The
Foundations has created a <a href="../Foundation/Jobs">“Jobs in seL4 ecosystem” page</a>
where members can post offers for positions with seL4 expertise.</p>

Expand All @@ -854,7 +854,7 @@ <h1>
<a href="#member-risc-v"><span class="tag-span"># </span></a>
05 May 2021: RISC-V International and seL4 Foundation Announce New Security Milestone
</div>
<div><a href="https://riscv.org"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/RISC-V.svg" width="15%" class="news-img" alt="RISC-V logo"></a><p>Today, the <a href="../Foundation/">seL4 Foundation</a> and <a href="https://riscv.org">RISC-V
<div><a href="https://riscv.org"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/RISC-V.svg" style="width:15%;" class="news-img" alt="RISC-V logo"></a><p>Today, the <a href="../Foundation/">seL4 Foundation</a> and <a href="https://riscv.org">RISC-V
International</a> announced that the verified seL4 microkernel
on the RV64 architecture has been proved down to the executable code by CSIRO’s
Data61, thanks to funding provided by <a href="https://hensoldt-cyber.com">HENSOLDT Cyber
Expand Down Expand Up @@ -898,7 +898,7 @@ <h1>
<a href="#member-eth"><span class="tag-span"># </span></a>
23 Apr 2021: ETH Zurich joins seL4 Foundation
</div>
<div><a href="https://ethz.ch/en.html"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/ETH-Zurich.svg" width="15%" class="news-img" alt="ETH Zurich logo"></a><p>The seL4 Foundation is pleased to welcome <a href="https://ethz.ch/en.html">ETH Zurich</a>
<div><a href="https://ethz.ch/en.html"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/ETH-Zurich.svg" style="width:15%;" class="news-img" alt="ETH Zurich logo"></a><p>The seL4 Foundation is pleased to welcome <a href="https://ethz.ch/en.html">ETH Zurich</a>
as associate member, and is looking forward to further strengthening of ETH’s
engagement with seL4.</p>

Expand All @@ -917,7 +917,7 @@ <h1>
<a href="#member-raytheon"><span class="tag-span"># </span></a>
04 Mar 2021: Raytheon joins the seL4 Foundation
</div>
<div><a href="https://www.rtx.com/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/raytheontechnologies.svg" width="15%" class="news-img" alt="Raytheon logo"></a><p>The seL4 Foundation welcomes <a href="https://www.rtx.com/">Raytheon Technologies</a> as
<div><a href="https://www.rtx.com/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/raytheontechnologies.svg" style="width:15%;" class="news-img" alt="Raytheon logo"></a><p>The seL4 Foundation welcomes <a href="https://www.rtx.com/">Raytheon Technologies</a> as
our latest member.</p>

<p>Members of the Raytheon Technologies team have been long-time core participants
Expand Down Expand Up @@ -995,7 +995,7 @@ <h1>
<a href="#member-penten"><span class="tag-span"># </span></a>
08 Feb 2021: Penten joins the seL4 Foundation
</div>
<div><a href="https://www.penten.com/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/Penten.svg" width="20%" class="news-img" alt="Penten logo"></a><p>The seL4 Foundation welcomes <a href="https://www.penten.com">Penten Pty Ltd</a> as our
<div><a href="https://www.penten.com/"><img src="/website_pr_hosting/Foundation/Membership/LOGOS/Penten.svg" style="width:20%;" class="news-img" alt="Penten logo"></a><p>The seL4 Foundation welcomes <a href="https://www.penten.com">Penten Pty Ltd</a> as our
newest member. Penten is based in Canberra, Australia, and specialises in secure
communications technology and artificial intelligence. Penten has been
developing seL4-based products for a number of years, some of which are in daily
Expand Down
Loading

0 comments on commit 300f191

Please sign in to comment.