Skip to content

Commit

Permalink
deploy: seL4/website@22c68fe
Browse files Browse the repository at this point in the history
  • Loading branch information
@bbrcknl
bbrcknl committed Sep 18, 2024
1 parent 30c2bd9 commit a4b673b
Show file tree
Hide file tree
Showing 454 changed files with 76,636 additions and 0 deletions.
11 changes: 11 additions & 0 deletions PR_401/About/Performance/home.pml
View file
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.github.io/website_pr_hosting/PR_401/About/Performance/">
<script>location="https://sel4.github.io/website_pr_hosting/PR_401/About/Performance/"</script>
<meta http-equiv="refresh" content="0; url=https://sel4.github.io/website_pr_hosting/PR_401/About/Performance/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://sel4.github.io/website_pr_hosting/PR_401/About/Performance/">Click here if you are not redirected.</a>
</html>
398 changes: 398 additions & 0 deletions PR_401/About/Performance/index.html
View file

Large diffs are not rendered by default.

11 changes: 11 additions & 0 deletions PR_401/About/home.pml
View file
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.github.io/website_pr_hosting/PR_401/About/">
<script>location="https://sel4.github.io/website_pr_hosting/PR_401/About/"</script>
<meta http-equiv="refresh" content="0; url=https://sel4.github.io/website_pr_hosting/PR_401/About/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://sel4.github.io/website_pr_hosting/PR_401/About/">Click here if you are not redirected.</a>
</html>
232 changes: 232 additions & 0 deletions PR_401/About/index.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,232 @@
<!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.github.io/About/">
<link href=/website_pr_hosting/PR_401/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_401/css/sel4.css rel="stylesheet">

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

</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="/website_pr_hosting/PR_401/">Home</a></li><li class="dropdown active"><a class="dropdown-toggle" data-toggle="dropdown" href="/website_pr_hosting/PR_401/About/">What is seL4? <span class="caret"></span></a>
<ul class="dropdown-menu">
<li class="active"><a href="/website_pr_hosting/PR_401/About/">What is seL4?</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/About/Performance/">Performance</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/About/seL4-whitepaper.pdf">Whitepaper</a></li>
</ul></li><li class="dropdown "><a class="dropdown-toggle" data-toggle="dropdown" href="/website_pr_hosting/PR_401/Foundation/">seL4 Foundation <span class="caret"></span></a>
<ul class="dropdown-menu">
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/">About the seL4 Foundation</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/Governance/">Governance</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/Board/">Governing Board</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/TSC/">TSC</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/Membership/">Membership</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/Join/">Join the Foundation now!</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/Services/">Commercial Support</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/Summit/2024/">seL4 Summit</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/Support/">Support Us</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/Trademark/">Trademark</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/Jobs/">Jobs in the seL4 ecosystem</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Foundation/Contact/">Contact the seL4 Foundation</a></li>
</ul></li>
<li class=""><a href="/website_pr_hosting/PR_401/contact/">Stay in Touch</a></li><li class="dropdown "><a class="dropdown-toggle" data-toggle="dropdown" href="/website_pr_hosting/PR_401/Contribute/">Contribute <span class="caret"></span></a>
<ul class="dropdown-menu">
<li class=""><a href="/website_pr_hosting/PR_401/Contribute/">Contribute</a></li>
<li class=""><a href="https://github.com/seL4">GitHub</a></li>
</ul></li>
<li class=""><a href="/website_pr_hosting/PR_401/Use/">Use</a></li>
<li class=""><a href="/website_pr_hosting/PR_401/Learn/">Learn</a></li><li class="dropdown "><a class="dropdown-toggle" data-toggle="dropdown" href="/website_pr_hosting/PR_401/Info/">More Info <span class="caret"></span></a>
<ul class="dropdown-menu">
<li class=""><a href="/website_pr_hosting/PR_401/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="/website_pr_hosting/PR_401/Info/more-research.html">Research</a></li>
</ul></li>
<li class=""><a href="/website_pr_hosting/PR_401/news/">News</a></li>
</ul>
</div>
</div>
<div class="container">
<div class="row"><ol class="breadcrumb">
<li><a href="/website_pr_hosting/PR_401/">Home</a></li>
<li><a href="/website_pr_hosting/PR_401/About/">What is seL4?</a></li>

</ol></div>

<a href=/website_pr_hosting/PR_401/><img style="width:20%; margin-top:20px; vertical-align:top;float:right; margin:10px;"
src=/website_pr_hosting/PR_401/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=/website_pr_hosting/PR_401/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=/website_pr_hosting/PR_401/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=/website_pr_hosting/PR_401/images/icons/linkedin.svg alt="linkedin icon"></a>
<br>
<br>
Copyright &copy; 2024 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=/website_pr_hosting/PR_401/Foundation/Trademark/>trademark guidelines</a>.
</div>
<div class="row">
<!-- for screens larger than mobiles -->
<div class="col-xs-6 hidden-xs">
Copyright &copy; 2024 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=/website_pr_hosting/PR_401/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=/website_pr_hosting/PR_401/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=/website_pr_hosting/PR_401/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=/website_pr_hosting/PR_401/images/icons/linkedin.svg alt="linkedin icon"></a>
</div>
</div>
</div>

</footer> <!-- footer -->
<!-- wrapper -->
<script src=/website_pr_hosting/PR_401/js/jquery.min.js></script>
<script src=/website_pr_hosting/PR_401/js/bootstrap.min.js></script>
</div><!--page-container-->
</body>
</html>
11 changes: 11 additions & 0 deletions PR_401/About/more-research.html
View file
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.github.io/website_pr_hosting/PR_401/Info/more-research.html">
<script>location="https://sel4.github.io/website_pr_hosting/PR_401/Info/more-research.html"</script>
<meta http-equiv="refresh" content="0; url=https://sel4.github.io/website_pr_hosting/PR_401/Info/more-research.html">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://sel4.github.io/website_pr_hosting/PR_401/Info/more-research.html">Click here if you are not redirected.</a>
</html>
Binary file added PR_401/About/seL4-whitepaper.pdf
View file
Binary file not shown.
11 changes: 11 additions & 0 deletions PR_401/About/seL4/index.html
View file
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.github.io/website_pr_hosting/PR_401/About/">
<script>location="https://sel4.github.io/website_pr_hosting/PR_401/About/"</script>
<meta http-equiv="refresh" content="0; url=https://sel4.github.io/website_pr_hosting/PR_401/About/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://sel4.github.io/website_pr_hosting/PR_401/About/">Click here if you are not redirected.</a>
</html>
Loading

0 comments on commit a4b673b

Please sign in to comment.