index.html

---
# Copyright 2020 seL4 Project a Series of LF Projects, LLC.
# SPDX-License-Identifier: CC-BY-SA-4.0
title: Home
redirect_from: /home.pml
---
<h1>The&nbsp;seL4<sup><sup>&reg;</sup></sup> Microkernel</h1>
<h4>
  Security is no excuse for bad performance
</h4>
<div class="highlight">
  The benchmark for performance.<br />
  The world's most highly assured OS kernel.<br />
  Open source &amp; community-supported under the seL4 Foundation.
</div>


<a href="news/">
<div class="news">
<div class="news-clearfix">
  <div class="news-column news-title">
  News
  </div>

  <div class="news-column news-content">
    <ul>
{%- assign items = site.news-items | reverse -%}
{% for item in items limit: 3 %}
      <li>
        <strong>
          {{ item.date | date: "%d %b %Y" }}: {{ item.title }}
        </strong>
      </li>
{% endfor %}
      <li style="margin-top:0.2em;list-style-type:none">
        more...
      </li>
    </ul>
  </div>
</div>
</div>
</a>

<div class="homepage_grid">
  <div class="homepage_item">
    <a class="divLink" href="About/"></a>
    <div class="hp_pic">
      <img src="images/seL4.svg" style="width:150px;height:58px;" alt="seL4" />
    </div>
    <div class="hp_title">
      What is seL4?
    </div>
    <div class="hp_text">
      The world’s most high-assured operating system kernel
    </div>
  </div>

  <div class="homepage_item">
    <a class="divLink" href="Foundation"></a>
    <div class="hp_pic">
      <img src="images/sel4-foundation-logo.svg" style="width:200px;height:87px;" alt="seL4 Foundation" />
    </div>
    <div class="hp_title">
      seL4 Foundation
    </div>
    <div class="hp_text">
      Open source foundation for seL4 and its ecosystem. Want to join?
    </div>
  </div>

  <div class="homepage_item">
    <a class="divLink" href="contact"></a>
    <div class="hp_pic">
      <img src="images/contacts.png" style="width:160px;height:98px;" alt="Contacts" />
    </div>
    <div class="hp_title">
      Stay in touch
    </div>
    <div class="hp_text">
      Mailing lists, blog, contacts, chat
    </div>
  </div>

  <div class="homepage_item">
    <a class="divLink" href="Foundation/Services/"></a>
    <div class="hp_pic">
      <img src="images/services.png" style="width:110px;height:110px" alt="Contribute" />
    </div>
    <div class="hp_title">
      Commercial Support
    </div>
    <div class="hp_text">
       Endorsed service providers for seL4
    </div>
  </div>

  <div class="homepage_item">
    <a class="divLink" href="Use"></a>
    <div class="hp_pic">
      <img src="images/sel4_quad_low.jpg" style="width:200px;height:68px;" alt="seL4 quadcopter" />
    </div>
    <div class="hp_title">
      Use
     </div>
    <div class="hp_text">
      Build or retrofit your product to run on seL4
    </div>
  </div>


  <div class="homepage_item">
    <a class="divLink" href="Learn"></a>
    <div class="hp_pic">
      <img src="images/learning.jpg" style="width:200px;height:112px;" alt="Learn" />
    </div>
    <div class="hp_title">
      Learn
    </div>
    <div class="hp_text">
      Tutorials, documentation, courses
    </div>
  </div>


  <div class="homepage_item">
    <a class="divLink" href="Foundation/Support/"></a>
    <div class="hp_pic">
      <img src="images/support.png" style="width:150px;height:87px;" alt="Support" />
    </div>
    <div class="hp_title">
      Support seL4
    </div>
    <div class="hp_text">
      Funding the next big steps for the seL4 project
    </div>
  </div>

  <div class="homepage_item">
    <a class="divLink" href="Foundation/Trademark/"></a>
    <div class="hp_pic">
      <img src="images/scales.png" style="width:100px;height:76px;" alt="Branding" />
    </div>
    <div class="hp_title">
      The seL4 Trademark
    </div>
    <div class="hp_text">
      Compliance rules and promoting the brand
    </div>
  </div>

  <div class="homepage_item">
    <a class="divLink" href="Foundation/Summit/2024/"></a>
    <div class="hp_pic">
      <img src="images/sel4-summit-logo.svg" style="width:200px" alt="seL4 Summit" />
    </div>
    <div class="hp_title">
      seL4 Summit
    </div>
    <div class="hp_text">
      The annual summit organised by the seL4 Foundation.
    </div>
  </div>

  <div class="homepage_item">
    <a class="divLink" href="Contribute/"></a>
    <div class="hp_pic">
      <img src="images/contributing.jpg" style="width:200px;height:75px" alt="Contribute" />
    </div>
    <div class="hp_title">
      Contribute
    </div>
    <div class="hp_text">
       Contributing code, documentation, proofs
    </div>
  </div>

  <div class="homepage_item">
    <a class="divLink" href="Info/"></a>
    <div class="hp_pic">
      <img src="images/more_info.png" style="width:80px;height:95px;" alt="More info" />
    </div>
    <div class="hp_title">
      Want to know more?
    </div>
    <div class="hp_text">
      Research, roadmap, FAQ
    </div>
  </div>

</div>