From ca0bab80a5094040e01c30fe857b41a1b06595fe Mon Sep 17 00:00:00 2001
From: bbrcknl <bbrcknl@users.noreply.github.com>
Date: Mon, 26 Aug 2024 03:28:11 +0000
Subject: [PATCH] deploy: seL4/website@17d561f61746adb4f4b5a6c694a4a61a01649506

---
 .../Foundation/Summit/2024/abstracts2024.html |   2 +-
 PR_388/Foundation/Summit/2024/index.html      | 170 ++++++++++-
 PR_388/Foundation/Summit/2024/program.html    |  19 +-
 PR_388/css/sel4.css                           |  29 +-
 PR_388/news/2021.html                         |   6 +-
 PR_388/news/2024.html                         |  75 ++---
 PR_388/news/index.html                        |  75 ++---
 PR_388/sitemap.xml                            | 264 +++++++++---------
 8 files changed, 410 insertions(+), 230 deletions(-)

diff --git a/PR_388/Foundation/Summit/2024/abstracts2024.html b/PR_388/Foundation/Summit/2024/abstracts2024.html
index a3dd7633..8321f1b7 100644
--- a/PR_388/Foundation/Summit/2024/abstracts2024.html
+++ b/PR_388/Foundation/Summit/2024/abstracts2024.html
@@ -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
diff --git a/PR_388/Foundation/Summit/2024/index.html b/PR_388/Foundation/Summit/2024/index.html
index 2997fad6..0f91d8a6 100644
--- a/PR_388/Foundation/Summit/2024/index.html
+++ b/PR_388/Foundation/Summit/2024/index.html
@@ -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>
@@ -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">
@@ -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">
@@ -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
@@ -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">
@@ -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/">
diff --git a/PR_388/Foundation/Summit/2024/program.html b/PR_388/Foundation/Summit/2024/program.html
index 7a612b44..d156ce11 100644
--- a/PR_388/Foundation/Summit/2024/program.html
+++ b/PR_388/Foundation/Summit/2024/program.html
@@ -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>
@@ -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>
diff --git a/PR_388/css/sel4.css b/PR_388/css/sel4.css
index 65d39f6b..c818f46e 100644
--- a/PR_388/css/sel4.css
+++ b/PR_388/css/sel4.css
@@ -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;
@@ -814,4 +831,14 @@
  }
  p.keynote {
    text-indent: 15px;
- }
\ No newline at end of file
+ }
+
+ .center {
+    display: inline-block;
+    margin-left: auto;
+    margin-right: auto;
+}
+
+.center-imgs {
+    text-align:center;
+}
\ No newline at end of file
diff --git a/PR_388/news/2021.html b/PR_388/news/2021.html
index 57c1471c..d122e636 100644
--- a/PR_388/news/2021.html
+++ b/PR_388/news/2021.html
@@ -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
diff --git a/PR_388/news/2024.html b/PR_388/news/2024.html
index ff5e01fd..62f6660e 100644
--- a/PR_388/news/2024.html
+++ b/PR_388/news/2024.html
@@ -111,9 +111,6 @@ <h1>
 <div>
 
 <p>
-  <a href="https://www.collinsaerospace.com">
-    <img src="../Foundation/Membership/LOGOS/Collins_Aerospace_Logo.svg" style="width: 15%; float:right" alt="Collins Aerospace logo">
-  </a>
   The seL4 Foundation thanks <a href="https://www.collinsaerospace.com">Collins Aerospace</a> for
   becoming a Bronze sponsor of the <a href="../Foundation/Summit/2024">seL4
   Summit 2024</a>.
@@ -122,10 +119,6 @@ <h1>
   <a href="https://www.collinsaerospace.com">Collins Aerospace</a>, part of seL4 Foundation
     member <a href="https://www.rtx.com">Raytheon Technologies</a>, has been a long-time core
     participant in the seL4 ecosystem.
-  <a href="../Foundation/Summit/2024">
-        <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
-      alt="seL4 summit">
-  </a>
   It was a prime contractor in the DARPA HACMS
   program, which demonstrated the seL4-based incremental cyber retrofit of
   autonomous military vehicles. This was a major milestone in the growth of seL4,
@@ -141,6 +134,16 @@ <h1>
   See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
   if you are interested in sponsoring the seL4 summit 2024.
 </p>
+
+<div class="center-imgs">
+    <a href="https://www.collinsaerospace.com">
+    <img src="../Foundation/Membership/LOGOS/Collins_Aerospace_Logo.svg" style="width: 15%;" alt="Collins Aerospace logo">
+  </a>
+  <a href="../Foundation/Summit/2024">
+        <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"
+      alt="seL4 summit">
+  </a>
+</div>
 </div>
 <div class="news-finish"></div>
 
@@ -156,21 +159,23 @@ <h1>
   Summit 2024</a>.
 </p>
 <p>
-
+    The Technology Innovation Institute’s (TII) Secure Systems Research Centre (SSRC) aims to drive end-to-end security and resilience in cyber-physical and autonomous systems that will ensure safety. The research center adopts an applied research approach, emphasizing practical applications. By employing seL4 as both a microkernel and a hypervisor, SSRC seamlessly aligns its dedication to security with the foundational technology crucial to achieving its objectives. This critical technology forms the cornerstone of secure software stacks for diverse edge devices, including secure communicators and drones. TII’s research not only contributes to but propels the evolution of cutting-edge high-end edge device environments. TII’s SSRC focus centers on resilience, isolation, trust, and security, all with the intention of fostering a more secure digital landscape.
+</p>
 <p>
+  See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
+  if you are interested in sponsoring the seL4 summit 2024.
+</p>
+
+<div class="center-imgs">
   <a href="https://www.tii.ae/">
-    <img src="../Foundation/Membership/LOGOS/TII.jpg" style="width: 15%; float:right" alt="TII logo">
+    <img src="../Foundation/Membership/LOGOS/TII.jpg" style="width: 15%;" alt="TII logo">
   </a>
-  The Technology Innovation Institute’s (TII) Secure Systems Research Centre (SSRC) aims to drive end-to-end security and resilience in cyber-physical and autonomous systems that will ensure safety. The research center adopts an applied research approach, emphasizing practical applications. By employing seL4 as both a microkernel and a hypervisor, SSRC seamlessly aligns its dedication to security with the foundational technology crucial to achieving its objectives. This critical technology forms the cornerstone of secure software stacks for diverse edge devices, including secure communicators and drones. TII’s research not only contributes to but propels the evolution of cutting-edge high-end edge device environments. TII’s SSRC focus centers on resilience, isolation, trust, and security, all with the intention of fostering a more secure digital landscape.
   <a href="../Foundation/Summit/2024">
-    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
+    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"
     alt="seL4 summit">
   </a>
-</p>
-<p>
-  See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
-  if you are interested in sponsoring the seL4 summit 2024.
-</p>
+</div>
+
 </div>
 <div class="news-finish"></div>
 
@@ -338,10 +343,6 @@ <h1>
 </div>
 <div>
 
-<a href="https://unsw.edu.au">
-  <img src="../Foundation/Membership/LOGOS/UNSW.svg" style="width: 15%; float:right" alt="UNSW logo">
-</a>
-
 <p>
   The seL4 Foundation thanks <a href="https://unsw.edu.au">UNSW Sydney</a> for
   becoming a Bronze sponsor of the <a href="../Foundation/Summit/2024">seL4
@@ -356,10 +357,6 @@ <h1>
   The team has a track record of designing and implementing systems software for
   performance and reliability, and using rigorous formal methods to prove that
   they meet their security and reliability goals. Their aims are to:
-  <a href="../Foundation/Summit/2024">
-    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
-      alt="seL4 summit">
-  </a>
 </p>
 <ul>
   <li>shift the software industry away from ad-hoc, unreliable engineering
@@ -380,6 +377,15 @@ <h1>
   See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
   if you are interested in sponsoring the seL4 summit 2024.
 </p>
+<div class="center-imgs">
+  <a href="https://unsw.edu.au">
+    <img src="../Foundation/Membership/LOGOS/UNSW.svg" style="width: 15%;" alt="UNSW logo">
+  </a>
+  <a href="../Foundation/Summit/2024">
+    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"
+      alt="seL4 summit">
+  </a>
+</div>
 </div>
 <div class="news-finish"></div>
 
@@ -389,11 +395,6 @@ <h1>
 </div>
 <div>
 
-<a href="https://proofcraft.systems">
-  <img src="../Foundation/Membership/LOGOS/proofcraft.svg"
-       style="width: 15%; float:right" alt="Proofcraft logo">
-</a>
-
 <p>
   The seL4 Foundation thanks <a href="https://proofcraft.systems">Proofcraft</a>
   for becoming a Bronze sponsor of the <a href="../Foundation/Summit/2024">seL4
@@ -407,11 +408,6 @@ <h1>
   machine-checked software verification, Proofcraft increases critical software
   systems' reliability, safety and security, for a verified future.
 </p>
-<a href="../Foundation/Summit/2024">
-  <img src="../images/summit/sel4_summit_2024.svg"
-       style="width: 15%; float:right; padding-bottom:5px"
-       alt="seL4 summit">
-</a>
 <p>
   The <a href="../Foundation/Summit/2024">seL4 Summit 2024</a> will take place
   in Sydney, the hometown of <a href="https://proofcraft.systems">Proofcraft</a>.
@@ -420,6 +416,17 @@ <h1>
   See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
   if you are interested in sponsoring the seL4 summit 2024.
 </p>
+<div class="center-imgs">
+  <a href="https://proofcraft.systems">
+    <img src="../Foundation/Membership/LOGOS/proofcraft.svg"
+       style="width: 15%;" alt="Proofcraft logo">
+  </a>
+  <a href="../Foundation/Summit/2024">
+    <img src="../images/summit/sel4_summit_2024.svg"
+         style="width: 15%;"
+         alt="seL4 summit">
+  </a>
+</div>
 
 </div>
 <div class="news-finish"></div>
diff --git a/PR_388/news/index.html b/PR_388/news/index.html
index eb03d56b..909b5893 100644
--- a/PR_388/news/index.html
+++ b/PR_388/news/index.html
@@ -110,9 +110,6 @@ <h1>
 <div>
 
 <p>
-  <a href="https://www.collinsaerospace.com">
-    <img src="../Foundation/Membership/LOGOS/Collins_Aerospace_Logo.svg" style="width: 15%; float:right" alt="Collins Aerospace logo">
-  </a>
   The seL4 Foundation thanks <a href="https://www.collinsaerospace.com">Collins Aerospace</a> for
   becoming a Bronze sponsor of the <a href="../Foundation/Summit/2024">seL4
   Summit 2024</a>.
@@ -121,10 +118,6 @@ <h1>
   <a href="https://www.collinsaerospace.com">Collins Aerospace</a>, part of seL4 Foundation
     member <a href="https://www.rtx.com">Raytheon Technologies</a>, has been a long-time core
     participant in the seL4 ecosystem.
-  <a href="../Foundation/Summit/2024">
-        <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
-      alt="seL4 summit">
-  </a>
   It was a prime contractor in the DARPA HACMS
   program, which demonstrated the seL4-based incremental cyber retrofit of
   autonomous military vehicles. This was a major milestone in the growth of seL4,
@@ -140,6 +133,16 @@ <h1>
   See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
   if you are interested in sponsoring the seL4 summit 2024.
 </p>
+
+<div class="center-imgs">
+    <a href="https://www.collinsaerospace.com">
+    <img src="../Foundation/Membership/LOGOS/Collins_Aerospace_Logo.svg" style="width: 15%;" alt="Collins Aerospace logo">
+  </a>
+  <a href="../Foundation/Summit/2024">
+        <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"
+      alt="seL4 summit">
+  </a>
+</div>
 </div>
 <div class="news-finish"></div>
 
@@ -155,21 +158,23 @@ <h1>
   Summit 2024</a>.
 </p>
 <p>
-
+    The Technology Innovation Institute’s (TII) Secure Systems Research Centre (SSRC) aims to drive end-to-end security and resilience in cyber-physical and autonomous systems that will ensure safety. The research center adopts an applied research approach, emphasizing practical applications. By employing seL4 as both a microkernel and a hypervisor, SSRC seamlessly aligns its dedication to security with the foundational technology crucial to achieving its objectives. This critical technology forms the cornerstone of secure software stacks for diverse edge devices, including secure communicators and drones. TII’s research not only contributes to but propels the evolution of cutting-edge high-end edge device environments. TII’s SSRC focus centers on resilience, isolation, trust, and security, all with the intention of fostering a more secure digital landscape.
+</p>
 <p>
+  See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
+  if you are interested in sponsoring the seL4 summit 2024.
+</p>
+
+<div class="center-imgs">
   <a href="https://www.tii.ae/">
-    <img src="../Foundation/Membership/LOGOS/TII.jpg" style="width: 15%; float:right" alt="TII logo">
+    <img src="../Foundation/Membership/LOGOS/TII.jpg" style="width: 15%;" alt="TII logo">
   </a>
-  The Technology Innovation Institute’s (TII) Secure Systems Research Centre (SSRC) aims to drive end-to-end security and resilience in cyber-physical and autonomous systems that will ensure safety. The research center adopts an applied research approach, emphasizing practical applications. By employing seL4 as both a microkernel and a hypervisor, SSRC seamlessly aligns its dedication to security with the foundational technology crucial to achieving its objectives. This critical technology forms the cornerstone of secure software stacks for diverse edge devices, including secure communicators and drones. TII’s research not only contributes to but propels the evolution of cutting-edge high-end edge device environments. TII’s SSRC focus centers on resilience, isolation, trust, and security, all with the intention of fostering a more secure digital landscape.
   <a href="../Foundation/Summit/2024">
-    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
+    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"
     alt="seL4 summit">
   </a>
-</p>
-<p>
-  See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
-  if you are interested in sponsoring the seL4 summit 2024.
-</p>
+</div>
+
 </div>
 <div class="news-finish"></div>
 
@@ -337,10 +342,6 @@ <h1>
 </div>
 <div>
 
-<a href="https://unsw.edu.au">
-  <img src="../Foundation/Membership/LOGOS/UNSW.svg" style="width: 15%; float:right" alt="UNSW logo">
-</a>
-
 <p>
   The seL4 Foundation thanks <a href="https://unsw.edu.au">UNSW Sydney</a> for
   becoming a Bronze sponsor of the <a href="../Foundation/Summit/2024">seL4
@@ -355,10 +356,6 @@ <h1>
   The team has a track record of designing and implementing systems software for
   performance and reliability, and using rigorous formal methods to prove that
   they meet their security and reliability goals. Their aims are to:
-  <a href="../Foundation/Summit/2024">
-    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; float:right; padding-bottom:5px"
-      alt="seL4 summit">
-  </a>
 </p>
 <ul>
   <li>shift the software industry away from ad-hoc, unreliable engineering
@@ -379,6 +376,15 @@ <h1>
   See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
   if you are interested in sponsoring the seL4 summit 2024.
 </p>
+<div class="center-imgs">
+  <a href="https://unsw.edu.au">
+    <img src="../Foundation/Membership/LOGOS/UNSW.svg" style="width: 15%;" alt="UNSW logo">
+  </a>
+  <a href="../Foundation/Summit/2024">
+    <img src="../images/summit/sel4_summit_2024.svg" style="width: 15%; padding-bottom:5px"
+      alt="seL4 summit">
+  </a>
+</div>
 </div>
 <div class="news-finish"></div>
 
@@ -388,11 +394,6 @@ <h1>
 </div>
 <div>
 
-<a href="https://proofcraft.systems">
-  <img src="../Foundation/Membership/LOGOS/proofcraft.svg"
-       style="width: 15%; float:right" alt="Proofcraft logo">
-</a>
-
 <p>
   The seL4 Foundation thanks <a href="https://proofcraft.systems">Proofcraft</a>
   for becoming a Bronze sponsor of the <a href="../Foundation/Summit/2024">seL4
@@ -406,11 +407,6 @@ <h1>
   machine-checked software verification, Proofcraft increases critical software
   systems' reliability, safety and security, for a verified future.
 </p>
-<a href="../Foundation/Summit/2024">
-  <img src="../images/summit/sel4_summit_2024.svg"
-       style="width: 15%; float:right; padding-bottom:5px"
-       alt="seL4 summit">
-</a>
 <p>
   The <a href="../Foundation/Summit/2024">seL4 Summit 2024</a> will take place
   in Sydney, the hometown of <a href="https://proofcraft.systems">Proofcraft</a>.
@@ -419,6 +415,17 @@ <h1>
   See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a>
   if you are interested in sponsoring the seL4 summit 2024.
 </p>
+<div class="center-imgs">
+  <a href="https://proofcraft.systems">
+    <img src="../Foundation/Membership/LOGOS/proofcraft.svg"
+       style="width: 15%;" alt="Proofcraft logo">
+  </a>
+  <a href="../Foundation/Summit/2024">
+    <img src="../images/summit/sel4_summit_2024.svg"
+         style="width: 15%;"
+         alt="seL4 summit">
+  </a>
+</div>
 
 </div>
 <div class="news-finish"></div>
diff --git a/PR_388/sitemap.xml b/PR_388/sitemap.xml
index 8082ec84..db4991ad 100644
--- a/PR_388/sitemap.xml
+++ b/PR_388/sitemap.xml
@@ -152,530 +152,530 @@
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/About/seL4-whitepaper.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/200318-minutes-signed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/200826-minutes-signed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/201016-minutes-signed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/210413-minutes-signed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/210609-minutes-signed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/211006-minutes-signed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/2202-minutes-signed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/2204-minutes-signed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/221013-minutes-signed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/2305-minutes-signed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Board/Minutes/230928-minutes-unconfirmed.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Governance/seL4_Foundation_Fund_Charter.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Governance/seL4_Foundation_Key_Principles.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Governance/seL4_Foundation_Technical_Charter.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Join/Directed_Fund_Participation_Agreement.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Join/Participation_Agreement_Sample.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/seL4-Summit_Useful-Info.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_01_Welcome_June_Andronick.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_02_State_of_seL4-related_research_Gernot_Heiser.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_03_seL4_verification-roadmap_Proofcraft.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_04_Explaining_the_seL4_integrity_theorems_Matt_Brecknell.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_05_The_seL4_Core_Platform_(seL4CP)_Zoltan_Kocsis.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_06_The_seL4_Device_Driver_Framework_(sDDF)_Lucy_Parker.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_07_Multiprocessing_on_seL4_with_verified_kernels_Kent_Mcleod.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_08_Using_QEMU_to_extend_seL4_VirtIO_support_Hannu_Lyytinen.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_09_QEMU_as_prototyping_platform_for_seL4_systems_Axel_Heider.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_10_Porting_U-Boot_drivers_to_seL4_Mark_Jenkinson_&amp;_Stephen_Williams.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d1_11_fence.t_hardware_support_for_preventing_microarchitectural_timing_channels_Nils_Wistoff.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_01_Kry10_Secure_Platform_Boyd_Multerer.pdf</loc>
-<lastmod>2024-08-19T00:08:00+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_02_Foundation_announcements.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_03_seL4_and_BEAM_a_match_made_in_Erlang_Ihor.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_04_Trustworthy_board_management_controllers_Daniel_Schwyn,_Ben_Fiedler.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_05_Rust_support_in_seL4_userspace_present_and_future_Nick_Spinale.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:29+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_06_Early_experiences_proving_the_correctness_of_a_network_stack_implementation_Alain_K%C3%A4gi.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_07_CASE_overview_Cyber_Assured_Systems_Engineering_Darren_Cofer.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_08_A_verified_architecture_for_trustworthy_remote_attestation_Grant_Jurgenson.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_09_FerrOS_Rust-y_unikernels_on_seL4_w_compile-time_assurances_Zack_Pierce.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_10_Make_seL4_an_ASIL-D_certified_system_Yuning_Liang.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_11_seL4_Summit_and_TCCOE_-_an_overview_Renato_Levy.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_12_funding_agencies_01_Sebastian_Jester.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_12_funding_agencies_03_Brad_Martin.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d2_12_funding_agencies_04_Shreekant_Thakkar.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d3_01_Overview_seL4_principles,_abstractions_and_use_Gernot_Heiser.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d3_02_Overview_what&apos;s_verified,_what&apos;s_not,_and_what_does_it_mean_June_Andronick.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d3_03_The_seL4_GitHub_test_suite_Gerwin_Klein.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d3_04_seL4_mainlining_experiences,_challenges,_and_solutions_Robbie.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d3_05_seL4_microkernel_for_virtualization_use-cases_%E2%80%9CThe_importance_of_a_standard_VMM%E2%80%9D.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d3_06_Improving_embedded_DevOps_with_seL4_VMM.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d3_07_Experience_teaching_seL4.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d3_08_DornerWorks%E2%80%99_VM_Composer.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2022/slides/d3_09_seL4_Foundation_overview,_update_and_vision.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-00-cofer.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-01-gage.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-02-brecknell.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-03-frost.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-04-klein.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-05-mcleod.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-06-kuz.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-07-ahvenj%C3%A4rvi.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-08-parker.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-09-heiser.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-10-guikema.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-11-felmeden.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-12-andronick.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-12-kuz.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day1-13-multerer.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-01-leffler.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-02-furgala.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-03-hussman.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-04-spinale.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-05-velickovic.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-06-hamlin.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-08-vanvossen.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-09-atkins.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-10-podhradsky.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-11-rollins.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-12-mao.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-13-wang.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day2-14-dematos.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day3-03-sebranek.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day3-04-dematos.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/Summit/2023/slides/day3-05-neises.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/tsc-meeting-2020-05-20.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/tsc-meeting-2021-01-29.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/tsc-meeting-2021-02-12.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/tsc-meeting-2021-12-17.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/tsc-meeting-2022-12-16.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/tsc-meeting-2023-09-12.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/tsc-meeting-2024-03-22.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/vote-2020-05-21.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/vote-2021-05-27.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/vote-2021-08-18.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/vote-2021-09-29.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/vote-2021-09-30.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/vote-2021-12-16.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/vote-2022-04-14.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/vote-2022-12-15.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/vote-2023-05-30.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Foundation/TSC/notes/vote-2023-07-17.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/GD-NICTA-whitepaper.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-brochure.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-0.0.1-rt-dev.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-1.0.0-rt-dev.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-1.0.4.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-10.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-10.1.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-10.1.1-mcs.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-10.1.1.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-11.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-12.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-12.1.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-13.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-2.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-2.1.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-3.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-3.0.1.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-3.1.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-3.2.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-4.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-5.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-5.1.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-5.2.0-mcs.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-5.2.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-6.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-7.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-8.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-9.0.0-mcs.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-9.0.0.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-9.0.1.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-manual-latest.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_388/Info/Docs/seL4-spec.pdf</loc>
-<lastmod>2024-08-19T00:08:01+00:00</lastmod>
+<lastmod>2024-08-26T03:27:30+00:00</lastmod>
 </url>
 </urlset>