Skip to content

Commit

Permalink
initial jekyll-generated site
Browse files Browse the repository at this point in the history 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
  • Loading branch information
@lsf37
lsf37 committed Mar 18, 2024
0 parents commit 5d0f817
Show file tree
Hide file tree
Showing 436 changed files with 73,134 additions and 0 deletions.
Empty file added root/.nojekyll
Empty file.
11 changes: 11 additions & 0 deletions root/About/Performance/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://sel4.systems/About/Performance/">
<script>location="https://sel4.systems/About/Performance/"</script>
<meta http-equiv="refresh" content="0; url=https://sel4.systems/About/Performance/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://sel4.systems/About/Performance/">Click here if you are not redirected.</a>
</html>
400 changes: 400 additions & 0 deletions root/About/Performance/index.html

Large diffs are not rendered by default.

11 changes: 11 additions & 0 deletions root/About/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://sel4.systems/About/">
<script>location="https://sel4.systems/About/"</script>
<meta http-equiv="refresh" content="0; url=https://sel4.systems/About/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://sel4.systems/About/">Click here if you are not redirected.</a>
</html>
234 changes: 234 additions & 0 deletions root/About/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,234 @@
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>About seL4 | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.systems/About/">
<link href="/css/bootstrap.min.css" rel="stylesheet">
<link href="/css/sel4.css" rel="stylesheet">

<link rel="apple-touch-icon" sizes="57x57" href="/images/icons/apple-touch-icon-57x57.png" />
<link rel="apple-touch-icon" sizes="114x114" href="/images/icons/apple-touch-icon-114x114.png" />
<link rel="apple-touch-icon" sizes="72x72" href="/images/icons/apple-touch-icon-72x72.png" />
<link rel="apple-touch-icon" sizes="144x144" href="/images/icons/apple-touch-icon-144x144.png" />
<link rel="apple-touch-icon" sizes="60x60" href="/images/icons/apple-touch-icon-60x60.png" />
<link rel="apple-touch-icon" sizes="120x120" href="/images/icons/apple-touch-icon-120x120.png" />
<link rel="apple-touch-icon" sizes="76x76" href="/images/icons/apple-touch-icon-76x76.png" />
<link rel="apple-touch-icon" sizes="152x152" href="/images/icons/apple-touch-icon-152x152.png" />
<link rel="icon" type="image/png" href="/images/icons/favicon-96x96.png" sizes="96x96" />
<link rel="icon" type="image/png" href="/images/icons/favicon-32x32.png" sizes="32x32" />
<link rel="icon" type="image/png" href="/images/icons/favicon-16x16.png" sizes="16x16" />
<meta name="application-name" content="&nbsp;"/>
<meta name="msapplication-TileColor" content="#FFFFFF" />
<meta name="msapplication-TileImage" content="/images/icons/mstile-144x144.png" />
<meta name="msapplication-square70x70logo" content="/images/icons/mstile-70x70.png" />
<meta name="msapplication-square150x150logo" content="/images/icons/mstile-150x150.png" />
<meta name="msapplication-wide310x150logo" content="/images/icons/mstile-310x150.png" />
<meta name="msapplication-square310x310logo" content="/images/icons/mstile-310x310.png" />
<link rel="shortcut icon" href="/images/icons/favicon.ico" />

<script defer data-domain="sel4.systems" src="https://analytics.sel4.systems/js/script.js"></script>

</head>
<body>
<div id="page-container"><!--to put footer at bottom of page-->
<div id="content-wrap"><!--to put footer at bottom of page-->

<div class="container">
<div class="header" id="site-header" role="navigation" >
<ul class="nav-pills nav pull-right" id="site-navigation">
<li class=""><a href="/">Home</a></li><li class="dropdown active"><a class="dropdown-toggle" data-toggle="dropdown" href="/About/">What is seL4? <span class="caret"></span></a>
<ul class="dropdown-menu">
<li class="active"><a href="/About/">What is seL4?</a></li>
<li class=""><a href="/About/Performance/">Performance</a></li>
<li class=""><a href="/About/seL4-whitepaper.pdf">Whitepaper</a></li>
</ul></li><li class="dropdown "><a class="dropdown-toggle" data-toggle="dropdown" href="/Foundation/">seL4 Foundation <span class="caret"></span></a>
<ul class="dropdown-menu">
<li class=""><a href="/Foundation/">About the seL4 Foundation</a></li>
<li class=""><a href="/Foundation/Governance/">Governance</a></li>
<li class=""><a href="/Foundation/Board/">Governing Board</a></li>
<li class=""><a href="/Foundation/TSC/">TSC</a></li>
<li class=""><a href="/Foundation/Membership/">Membership</a></li>
<li class=""><a href="/Foundation/Join/">Join the Foundation now!</a></li>
<li class=""><a href="/Foundation/Services/">Commercial Support</a></li>
<li class=""><a href="/Foundation/Summit/2024/">seL4 Summit</a></li>
<li class=""><a href="/Foundation/Support/">Support Us</a></li>
<li class=""><a href="/Foundation/Trademark/">Trademark</a></li>
<li class=""><a href="/Foundation/Jobs/">Jobs in the seL4 ecosystem</a></li>
<li class=""><a href="/Foundation/Contact/">Contact the seL4 Foundation</a></li>
</ul></li>
<li class=""><a href="/contact/">Stay in Touch</a></li><li class="dropdown "><a class="dropdown-toggle" data-toggle="dropdown" href="/Contribute/">Contribute <span class="caret"></span></a>
<ul class="dropdown-menu">
<li class=""><a href="/Contribute/">Contribute</a></li>
<li class=""><a href="https://github.com/seL4">GitHub</a></li>
</ul></li>
<li class=""><a href="/Use/">Use</a></li>
<li class=""><a href="/Learn/">Learn</a></li><li class="dropdown "><a class="dropdown-toggle" data-toggle="dropdown" href="/Info/">More Info <span class="caret"></span></a>
<ul class="dropdown-menu">
<li class=""><a href="/Info/">More Info</a></li>
<li class=""><a href="https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html">FAQ</a></li>
<li class=""><a href="https://docs.sel4.systems/projects/roadmap.html">Roadmap</a></li>
<li class=""><a href="/Info/more-research.html">Research</a></li>
</ul></li>
<li class=""><a href="/news/">News</a></li>
</ul>
</div>
</div>
<div class="container">
<div class="row"><ol class="breadcrumb">
<li><a href="/">Home</a></li>
<li><a href="/About/">What is seL4?</a></li>

</ol></div>

<a href='/'><img style="width:20%; margin-top:20px; vertical-align:top;float:right; margin:10px;"
src='/images/logo-text-white.svg' alt='seL4' /></a>

<h1>
About seL4
</h1>
<a href="seL4-whitepaper.pdf">
<div class="col-sm pull-left"
style="width: 15%;">
<div class="row">
<img style=
"width: 75%; margin-top: 20px; vertical-align: top; float: left; margin: 10px;"
src="whitepaper.svg"
alt="seL4 Whitepaper">
</div>
<div class="row">
Download Whitepaper
</div>
</div>
</a>
<p>
seL4 is a high-assurance, high-performance operating system
microkernel. It is unique because of its comprehensive formal
verification, without compromising <a href=
"Performance/">performance</a>. It is meant to be used as a
trustworthy foundation for building safety- and security-critical
systems. It is available as open source on <a href=
"https://github.com/seL4/">GitHub</a> and supported by the
<a href="../Foundation/">seL4 Foundation</a>.
</p>
<p>
<img style="width: 250px; margin-left: 10px; float: right;"
src="../images/trusted.svg"
alt="seL4 system" />
Being a <em>kernel</em> means it is the piece
of software that runs at the heart of any software system and
controls all accesses to resources. It provides fine-grained
access control through <a href=
"https://en.wikipedia.org/wiki/Capability-based_security">capabilities</a>,
and controls communication between components of the system.
It is the most critical part of the software system, and runs
in privileged mode.
</p>
<p>
Being a microkernel means that it is reduced to a minimal core
that is free from policy and therefore can form a dependable base
for building arbitrary systems serving many different usage
scenarios.
</p>
<p>
seL4 is a member of the <a title=
"L4 microkernel family on wikipedia"
href="https://en.wikipedia.org/wiki/L4_microkernel_family">L4 family of
microkernels</a>, and is the world's most advanced, most
highly assured operating-system kernel.
</p>
<p>
seL4's formal verification sets it apart from any other operating
system. In a nutshell, it provides the highest assurance of
<em>isolation</em> between applications running in the system,
meaning that a compromise in one part of the system can be
contained and prevented from harming other, potentially more
critical parts of the system.
</p>
<p>
Specifically, seL4's implementation is formally (mathematically)
proven correct (bug-free) against its specification, has been
proved to enforce strong security properties, and if configured
correctly its operations have proven safe upper bounds on their
worst-case execution times. It was the world's first operating
system with such a proof, and is still the only proven operating
system featuring fine-grained capability-based security and high
performance. It also has the most advanced support for <a href=
"https://en.wikipedia.org/wiki/Mixed_criticality">mixed
criticality real-time systems</a>.
</p>
<p>
For detailed explanations of these terms, see our <a href=
"https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html">FAQ</a>.
</p>
<p>
In 2009, the seL4 kernel was a scientific breakthrough result
from the <a href="http://trustworthy.systems/">Trustworthy Systems
group</a> (TS) that showed that high-performance kernels are
within the realm of formal verification. Today, seL4 is part of
an ecosystem supporting active use in various domains including
automotive, aviation, infrastructure, medical, and defence. A key
highlight demonstrating its fit for real-world deployment was in
the DARPA-funded <a href=
"http://trustworthy.systems/projects/TS/SMACCM/">HACMS</a>
program, where seL4 was used to protect an autonomous helicopter
against cyber-attacks. TS continues to push the state of the art
of operating systems through <a href=
"http://trustworthy.systems/projects/seL4/">seL4</a>, in close
cooperation with its partners in the seL4 Foundation.
</p>

<p>
More on TS ongoing and future <a
href="/Info/more-research.html">research</a> about seL4 and trustworthy
systems.
</p>

<div class="divider"></div>
</div><!-- container -->
</div><!--content-wrap-->
<footer class="page-footer small pt-3" id="footer"> <!-- footer -->
<div class="container">
<!-- for mobile screens -->
<div class="text-center visible-xs">
<a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src="/images/icons/mastodon.svg" alt="mastodon icon"></a>
<a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src="/images/icons/youtube.svg" alt="youtube icon"></a>
<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src="/images/icons/linkedin.svg" alt="linkedin icon"></a>
<br>
<br>
Copyright &copy; 2023 seL4 Project a Series of LF Projects, LLC.<br/>
seL4 is a trademark of LF Projects, LLC.<br/>
For trademark usage guidelines, privacy and cookie policies,
and other applicable policies, as well as terms and conditions
governing this web site, please see
<a href="http://www.lfprojects.org/">www.lfprojects.org</a>
and the <a href="/Foundation/Trademark/">trademark guidelines</a>.
</div>
<div class="row">
<!-- for screens larger than mobiles -->
<div class="col-xs-6 hidden-xs">
Copyright &copy; 2023 seL4 Project a Series of LF Projects, LLC.<br/>
seL4 is a trademark of LF Projects, LLC.<br/>
For trademark usage guidelines, privacy and cookie policies,
and other applicable policies, as well as terms and conditions
governing this web site, please see
<a href="http://www.lfprojects.org/">www.lfprojects.org</a>
and the <a href="/Foundation/Trademark/">trademark guidelines</a>.
</div>
<div class="col-xs-6 text-right hidden-xs">
<a href="https://fosstodon.org/@sel4"><img style="height:36px; padding-right:5px; padding-top:2px; padding-bottom:2px;" src="/images/icons/mastodon.svg" alt="mastodon icon"></a>
<a href="https://www.youtube.com/@seL4"><img style="height:36px; padding-top:2px; padding-bottom:2px;" src="/images/icons/youtube.svg" alt="youtube icon"></a>
<a href="https://www.linkedin.com/company/sel4"><img style="height:36px; padding-left:5px; padding-top:2px; padding-bottom:2px;" src="/images/icons/linkedin.svg" alt="linkedin icon"></a>
</div>
</div>
</div>

</footer> <!-- footer -->
<!-- wrapper -->
<script src="/js/jquery.min.js"></script>
<script src="/js/bootstrap.min.js"></script>
</div><!--page-container-->
</body>
</html>
11 changes: 11 additions & 0 deletions root/About/more-research.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://sel4.systems/Info/more-research.html">
<script>location="https://sel4.systems/Info/more-research.html"</script>
<meta http-equiv="refresh" content="0; url=https://sel4.systems/Info/more-research.html">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://sel4.systems/Info/more-research.html">Click here if you are not redirected.</a>
</html>
Binary file added root/About/seL4-whitepaper.pdf
Binary file not shown.
11 changes: 11 additions & 0 deletions root/About/seL4/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://sel4.systems/About/">
<script>location="https://sel4.systems/About/"</script>
<meta http-equiv="refresh" content="0; url=https://sel4.systems/About/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://sel4.systems/About/">Click here if you are not redirected.</a>
</html>
Loading

0 comments on commit 5d0f817

Please sign in to comment.