Skip to content

Commit

Permalink
deploy: seL4/website@17d561f
Browse files Browse the repository at this point in the history
  • Loading branch information
@bbrcknl
bbrcknl committed Aug 26, 2024
1 parent 7f97ada commit ca0bab8
Show file tree
Hide file tree
Showing 8 changed files with 410 additions and 230 deletions.
2 changes: 1 addition & 1 deletion PR_388/Foundation/Summit/2024/abstracts2024.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -726,7 +726,7 @@ <h4 class="summit-abstract-title">
SPDX-License-Identifier: CC-BY-SA-4.0
-->
<h4 class="summit-abstract-title">
seL4 CHERI/Morello port
Enhancing seL4’s C/C++ userspace memory safety using CHERI
</h4>
<p class="summit-abstract-type">
Talk
Expand Down
170 changes: 156 additions & 14 deletions PR_388/Foundation/Summit/2024/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -105,14 +105,13 @@ <h4>
<ul>
<!--li><a href="#summit-important-dates">Important Dates</a></li-->
<li><a href="#summit-about">About</a></li>
<li><a href="#summit-registration">Register for summit</a></li>
<li><a href="#summit-registration">Registration</a></li>
<li><a href="#summit-location">Location & Venue</a></li>
<li><a href="#summit-cfp">Submissions and Call for Presentations</a></li>
<li><a href="#summit-program">Program & Abstracts</a></li>
<li><a href="#summit-keynote-speakers">Keynote Speakers</a></li>
<!-- li><a href="#summit-panellists">Panellists</a></li>-->
<li><a class="highlight" href="#summit-program">Latest news: Program & Abstracts</a></li>
<!--li><a href="#summit-keynote-speakers">Keynote Speakers</a></li>
<li><a href="#summit-panellists">Panellists</a></li-->
<li><a class="highlight" href="#summit-training-day">Latest news: Training day @ UNSW</a></li>
<li><a href="#summit-pc">Program Committee</a></li>
<li><a href="#summit-sponsors">Sponsors</a></li>
<li><a href="#summit-contact">Contact</a></li>
Expand Down Expand Up @@ -197,6 +196,14 @@ <h3 id="summit-location">
</p>
</div>

<div class="summit_div">
<h3 id="summit-cfp">
Submissions and Call for Presentations
</h3>
<p>
Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by <s>22 April 2024</s> 29 April 2024. Find all the submission information in the <a href="cfp">Call for Presentations</a>.
</p>
</div>

<div class="summit_div">
<h3 id="summit-program">
Expand All @@ -212,14 +219,6 @@ <h3 id="summit-program">
</div>


<div class="summit_div">
<h3 id="summit-cfp">
Submissions and Call for Presentations
</h3>
<p>
Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by <s>22 April 2024</s> 29 April 2024. Find all the submission information in the <a href="cfp">Call for Presentations</a>.
</p>
</div>

<div class="summit_div">
<h3 id="summit-keynote-speakers">
Expand Down Expand Up @@ -260,6 +259,148 @@ <h3 id="summit-keynote-speakers">
</div>


<div class="summit_div">
<h3 id="summit-training-day">
Training day @ UNSW
</h3>
<p>
18 October 2024
</p>
<p>
<a href="https://www.learningenvironments.unsw.edu.au/physical-spaces/electrical-engineering-bldg/k-g17-g10-electrical-engineering-g10">Room G10 in the Electrical Engineering Building</a>
</p>
<h4 style="padding-top:10px">Registration for training day</h4>
<p>
<a href="https://form.jotform.com/242312058251850">Register for the LionsOS, Rust or both tutorials</a>
</p>
<p>
Training day @ UNSW is free, but please register by <span class="highlight"> 15 September 2024</span> so that we can account for numbers. Lunch is not included but there are plenty of <a href="https://www.estate.unsw.edu.au/food-retail/explore">coffee and food outlets</a> on campus.
</p>
<div id="a-lions" style="padding-top:20px">
<h4>Using LionsOS</h4>
<p>
<span class="summit-abstract-presenter">Ivan Velickovic</span>,
<span class="summit-abstract-affiliation">UNSW Sydney</span>
</p>
<p>
10:00 - 12:30
</p>
<p>
LionsOS is a new Operating Systems developed at Trustworthy Systems aimed at embedded, IoT, and cyberphysical systems. LionsOS is based on the seL4 Microkit and is desgined to formally verifiable, performant, and adaptable to a wide class of use-cases.
</p>
<p>
LionsOS, by design, is not a conventional OS and hence it may be overwhelming for users who want to get started and are not familiar with the ideas and goals of LionsOS.
</p>
<p>
This hands-on tutorial aims to ease people into creating a LionsOS-based system. We will be using the components and tools provided by LionsOS to, step-by-step, transform a minimal boilerplate system to a functional system involving various drivers, virtual machines and other components.
</p>
<p>
See the training in the <a href="program#p-lions">program</a>.
</p>
<p>What to bring:</p>
<ul>
<li>Your own laptop</li>
</ul>
</div>
<div id="a-rust" style="padding-top:20px">
<h4>Using Rust in seL4 Userspace</h4>
<p>
<span class="summit-abstract-presenter">Nick Spinale</span>,
<span class="summit-abstract-affiliation">Colias Group, LLC</span>
</p>
<p>
14:00 - 16:30
</p>
<p>
<a href="https://www.rust-lang.org/">
<img src="../../../images/rust-logo-blk.svg"
style="width: 20%; padding-left:10px; float:right"
alt="Rust logo" />
</a>
Rust has been an officially supported language for use in seL4 userspace since last year's summit. In this workshop, participants will be led through a tutorial that demonstrates how to leverage Rust and its ecosystem to rapidly build memory-safe components for seL4-based systems. This tutorial will cover a range of scenarios, including <a href="https://docs.sel4.systems/projects/microkit/">Microkit</a> protection domains as well as building on seL4 directly.
</p>
<p>
See the training in the <a href="program#p-rust">program</a>.
</p>
<p>What to bring:</p>
<ul>
<li>Your own laptop with <a href="https://www.docker.com/">Docker</a> installed.</li>
</ul>
</div>
</div>


<div class="summit_div">
<h3 id="summit-training-day">
Training day @ UNSW
</h3>
<p>
18 October 2024
</p>
<p>
<a href="https://www.learningenvironments.unsw.edu.au/physical-spaces/electrical-engineering-bldg/k-g17-g10-electrical-engineering-g10">Room G10 in the Electrical Engineering Building</a>
</p>
<h4 style="padding-top:10px">Registration for training day</h4>
<p>
<a href="https://form.jotform.com/242312058251850">Register for the LionsOS, Rust or both tutorials</a>
</p>
<p>
Training day @ UNSW is free, but please register by <span class="highlight"> 15 September 2024</span> so that we can account for numbers. Lunch is not included but there are plenty of <a href="https://www.estate.unsw.edu.au/food-retail/explore">coffee and food outlets</a> on campus.
</p>
<div id="a-lions" style="padding-top:20px">
<h4>Using LionsOS</h4>
<p>
<span class="summit-abstract-presenter">Ivan Velickovic</span>,
<span class="summit-abstract-affiliation">UNSW Sydney</span>
</p>
<p>
10:00 - 12:30
</p>
<p>
LionsOS is a new Operating Systems developed at Trustworthy Systems aimed at embedded, IoT, and cyberphysical systems. LionsOS is based on the seL4 Microkit and is desgined to formally verifiable, performant, and adaptable to a wide class of use-cases.
</p>
<p>
LionsOS, by design, is not a conventional OS and hence it may be overwhelming for users who want to get started and are not familiar with the ideas and goals of LionsOS.
</p>
<p>
This hands-on tutorial aims to ease people into creating a LionsOS-based system. We will be using the components and tools provided by LionsOS to, step-by-step, transform a minimal boilerplate system to a functional system involving various drivers, virtual machines and other components.
</p>
<p>
See the training in the <a href="program#p-lions">program</a>.
</p>
<p>What to bring:</p>
<ul>
<li>Your own laptop</li>
</ul>
</div>
<div id="a-rust" style="padding-top:20px">
<h4>Using Rust in seL4 Userspace</h4>
<p>
<span class="summit-abstract-presenter">Nick Spinale</span>,
<span class="summit-abstract-affiliation">Colias Group, LLC</span>
</p>
<p>
14:00 - 16:30
</p>
<p>
<a href="https://www.rust-lang.org/">
<img src="../../../images/rust-logo-blk.svg"
style="width: 20%; padding-left:10px; float:right"
alt="Rust logo" />
</a>
Rust has been an officially supported language for use in seL4 userspace since last year's summit. In this workshop, participants will be led through a tutorial that demonstrates how to leverage Rust and its ecosystem to rapidly build memory-safe components for seL4-based systems. This tutorial will cover a range of scenarios, including <a href="https://docs.sel4.systems/projects/microkit/">Microkit</a> protection domains as well as building on seL4 directly.
</p>
<p>
See the training in the <a href="program#p-rust">program</a>.
</p>
<p>What to bring:</p>
<ul>
<li>Your own laptop with <a href="https://www.docker.com/">Docker</a> installed.</li>
</ul>
</div>
</div>


<div class="summit_div">
<h3 id="summit-pc">
Program Committee
Expand Down Expand Up @@ -436,7 +577,8 @@ <h3 id="summit-sponsors">
We are grateful to the following sponsors for their financial support of the seL4 summit 2024.
</p>
</div>
<div class="sponsors" style="padding-top:10px; padding-bottom:20px;">

<div class="sponsors-2" style="padding-top:10px; padding-bottom:20px;">
<div class="sponsor">
<div class="sponsor-pic">
<a href="https://proofcraft.systems">
Expand Down Expand Up @@ -464,7 +606,7 @@ <h3 id="summit-sponsors">
</div>
</div>
</div>
<div class="sponsors" style="padding-bottom: 20px">
<div class="sponsors-2" style="padding-bottom: 20px">
<div class="sponsor">
<div class="sponsor-pic">
<a href="https://www.tii.ae/">
Expand Down
19 changes: 9 additions & 10 deletions PR_388/Foundation/Summit/2024/program.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -393,7 +393,7 @@ <h4>Summit</h4>
<tr id="p-cheri-morello">
<td>10:30 - 11:00</td>
<td>Talk</td>
<td><a href="abstracts2024.html#a-cheri-morello">seL4 CHERI/Morello port</a><br><span class="summit-abstract-presenter">Hesham Almatary</span>,
<td><a href="abstracts2024.html#a-cheri-morello">Enhancing seL4’s C/C++ userspace memory safety using CHERI</a><br><span class="summit-abstract-presenter">Hesham Almatary</span>,
<span class="summit-abstract-affiliation">Capabilities Limited</span>
</td>
<td class="summit_chair" rowspan="4">Lucy Parker</td>
Expand Down Expand Up @@ -461,19 +461,18 @@ <h4>Summit</h4>
</td>
</tr>
<tr>
<th colspan="4">Day 4&emsp;18 October 2024&emsp;Training day @UNSW (TBC)&emsp;</th>
<th colspan="4">Day 4&emsp;18 October 2024&emsp;Training day @ UNSW&emsp;</th>
</tr>
<tr>
<td></td>
<tr id="p-lions">
<td>10:00 - 12:30</td>
<td>Training</td>
<td>Using Lions OS<br><span class="summit-abstract-presenter">Ivan Velickovic</span>,
<span class="summit-abstract-affiliation">UNSW Sydney</span>
<td></td>
<td><a href="index#a-lions">Using LionsOS</a><br><span class="summit-abstract-presenter">Ivan Velickovic</span>,
<span class="summit-abstract-affiliation">UNSW Sydney</span></td>
</tr>
<tr>
<td></td>
<tr id="p-rust">
<td>14:00 - 16:30</td>
<td>Training</td>
<td>Rust Support in seL4 Userspace<br><span class="summit-abstract-presenter">Nick Spinale</span>,
<td><a href="index#a-rust">Using Rust in seL4 Userspace</a><br><span class="summit-abstract-presenter">Nick Spinale</span>,
<span class="summit-abstract-affiliation">Colias Group, LLC</span>
<td></td>
</tr>
Expand Down
29 changes: 28 additions & 1 deletion PR_388/css/sel4.css
View file
Original file line number Diff line number Diff line change
Expand Up @@ -382,6 +382,23 @@
}
}

/* Two sponsors */
.sponsors-2 {
display: grid;
grid-template-columns: auto;
grid-column-gap: 50px;
align-items: center;
justify-content: center; /* adjusted */
width: 100%;
}

@media screen and (min-width: 500px) {
.sponsors-2 {
grid-template-columns: repeat(2, 200px);
}
}


/*single sponsor*/
sponsors-1 {
display: grid;
Expand Down Expand Up @@ -814,4 +831,14 @@
}
p.keynote {
text-indent: 15px;
}
}

.center {
display: inline-block;
margin-left: auto;
margin-right: auto;
}

.center-imgs {
text-align:center;
}
6 changes: 2 additions & 4 deletions PR_388/news/2021.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -259,11 +259,9 @@ <h1>
<div>

<p>
<a href="https://driveghost.com/">
<img src="../Foundation/Membership/LOGOS/GHOST.svg" style="width: 20%; padding-left:10px; float:right"
<img src="../Foundation/Membership/LOGOS/GHOST.svg" style="width: 20%; padding-left:10px; float:right"
alt="Ghost logo">
</a>
The seL4 Foundation thanks <a href="https://driveghost.com/">Ghost</a> for its
The seL4 Foundation thanks Ghost for its
generous contribution. Ghost's commitment strengthens the seL4
Foundation's mission to continue advancing the ecosystem, the code
base, and the verification efforts of seL4, the world's most
Expand Down
Loading

0 comments on commit ca0bab8

Please sign in to comment.