From 7e5ce83f26af04f48732dedd6b8e405c966552a7 Mon Sep 17 00:00:00 2001
From: bbrcknl <bbrcknl@users.noreply.github.com>
Date: Fri, 23 Aug 2024 07:53:58 +0000
Subject: [PATCH] deploy: seL4/website@d1c13a89cd6143da0a27b2d5f33022442f8baa80

---
 PR_393/Foundation/Summit/2024/index.html   | 110 ++++++---
 PR_393/Foundation/Summit/2024/program.html |  14 +-
 PR_393/sitemap.xml                         | 264 ++++++++++-----------
 3 files changed, 221 insertions(+), 167 deletions(-)

diff --git a/PR_393/Foundation/Summit/2024/index.html b/PR_393/Foundation/Summit/2024/index.html
index bf1c75b2..855d3bab 100644
--- a/PR_393/Foundation/Summit/2024/index.html
+++ b/PR_393/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,15 +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">
     Keynote Speakers
@@ -260,6 +258,77 @@ <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-pc">
     Program Committee
@@ -436,21 +505,6 @@ <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-1" style="padding-top:30px">
-  <div class="sponsor">
-    <div class="sponsor-pic">
-      <a href="https://www.kry10.com/">
-        <img src="../../Membership/LOGOS/Kry10.svg" style="width: 150px"
-            alt="Kry10 logo">
-      </a>
-    </div>
-    <div class="sponsor-name">
-      Kry10
-    </div>
-    <div class="sponsor-info"><div class="highlight">Gold sponsor</div>
-    </div>
-  </div>
-</div>
 
 <div class="sponsors-2" style="padding-top:10px; padding-bottom:20px;">
   <div class="sponsor">
diff --git a/PR_393/Foundation/Summit/2024/program.html b/PR_393/Foundation/Summit/2024/program.html
index cb4242b2..f8b23fc1 100644
--- a/PR_393/Foundation/Summit/2024/program.html
+++ b/PR_393/Foundation/Summit/2024/program.html
@@ -437,18 +437,18 @@ <h4>Summit</h4>
     </td>
   </tr>
   <tr>
-    <th colspan="3">Day 4&emsp;18 October 2024&emsp;Training day @UNSW (TBC)&emsp;</th>
+    <th colspan="3">Day 4&emsp;18 October 2024&emsp;Training day @ UNSW (TBC)&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>,
+    <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>
   </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>
   </tr>
 </table>
diff --git a/PR_393/sitemap.xml b/PR_393/sitemap.xml
index b63390f5..1feff775 100644
--- a/PR_393/sitemap.xml
+++ b/PR_393/sitemap.xml
@@ -152,530 +152,530 @@
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/About/seL4-whitepaper.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/200318-minutes-signed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/200826-minutes-signed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/201016-minutes-signed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/210413-minutes-signed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/210609-minutes-signed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/211006-minutes-signed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/2202-minutes-signed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/2204-minutes-signed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/221013-minutes-signed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/2305-minutes-signed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Board/Minutes/230928-minutes-unconfirmed.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Governance/seL4_Foundation_Fund_Charter.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Governance/seL4_Foundation_Key_Principles.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Governance/seL4_Foundation_Technical_Charter.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Join/Directed_Fund_Participation_Agreement.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Join/Participation_Agreement_Sample.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/seL4-Summit_Useful-Info.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_01_Welcome_June_Andronick.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_02_State_of_seL4-related_research_Gernot_Heiser.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_03_seL4_verification-roadmap_Proofcraft.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_04_Explaining_the_seL4_integrity_theorems_Matt_Brecknell.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_05_The_seL4_Core_Platform_(seL4CP)_Zoltan_Kocsis.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_06_The_seL4_Device_Driver_Framework_(sDDF)_Lucy_Parker.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_07_Multiprocessing_on_seL4_with_verified_kernels_Kent_Mcleod.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_08_Using_QEMU_to_extend_seL4_VirtIO_support_Hannu_Lyytinen.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_09_QEMU_as_prototyping_platform_for_seL4_systems_Axel_Heider.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_10_Porting_U-Boot_drivers_to_seL4_Mark_Jenkinson_&amp;_Stephen_Williams.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d1_11_fence.t_hardware_support_for_preventing_microarchitectural_timing_channels_Nils_Wistoff.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_01_Kry10_Secure_Platform_Boyd_Multerer.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_02_Foundation_announcements.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_03_seL4_and_BEAM_a_match_made_in_Erlang_Ihor.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_04_Trustworthy_board_management_controllers_Daniel_Schwyn,_Ben_Fiedler.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_05_Rust_support_in_seL4_userspace_present_and_future_Nick_Spinale.pdf</loc>
-<lastmod>2024-08-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/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-23T07:36:44+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_07_CASE_overview_Cyber_Assured_Systems_Engineering_Darren_Cofer.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_08_A_verified_architecture_for_trustworthy_remote_attestation_Grant_Jurgenson.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_09_FerrOS_Rust-y_unikernels_on_seL4_w_compile-time_assurances_Zack_Pierce.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_10_Make_seL4_an_ASIL-D_certified_system_Yuning_Liang.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_11_seL4_Summit_and_TCCOE_-_an_overview_Renato_Levy.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_12_funding_agencies_01_Sebastian_Jester.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_12_funding_agencies_03_Brad_Martin.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d2_12_funding_agencies_04_Shreekant_Thakkar.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d3_01_Overview_seL4_principles,_abstractions_and_use_Gernot_Heiser.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/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-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d3_03_The_seL4_GitHub_test_suite_Gerwin_Klein.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d3_04_seL4_mainlining_experiences,_challenges,_and_solutions_Robbie.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/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-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d3_06_Improving_embedded_DevOps_with_seL4_VMM.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d3_07_Experience_teaching_seL4.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d3_08_DornerWorks%E2%80%99_VM_Composer.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2022/slides/d3_09_seL4_Foundation_overview,_update_and_vision.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-00-cofer.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-01-gage.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-02-brecknell.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-03-frost.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-04-klein.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:25+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-05-mcleod.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-06-kuz.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-07-ahvenj%C3%A4rvi.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-08-parker.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-09-heiser.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-10-guikema.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-11-felmeden.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-12-andronick.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-12-kuz.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day1-13-multerer.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-01-leffler.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-02-furgala.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-03-hussman.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-04-spinale.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-05-velickovic.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-06-hamlin.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-08-vanvossen.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-09-atkins.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-10-podhradsky.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-11-rollins.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-12-mao.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-13-wang.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day2-14-dematos.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day3-03-sebranek.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day3-04-dematos.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/Summit/2023/slides/day3-05-neises.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/tsc-meeting-2020-05-20.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/tsc-meeting-2021-01-29.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/tsc-meeting-2021-02-12.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/tsc-meeting-2021-12-17.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/tsc-meeting-2022-12-16.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/tsc-meeting-2023-09-12.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/tsc-meeting-2024-03-22.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/vote-2020-05-21.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/vote-2021-05-27.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/vote-2021-08-18.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/vote-2021-09-29.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/vote-2021-09-30.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/vote-2021-12-16.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/vote-2022-04-14.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/vote-2022-12-15.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/vote-2023-05-30.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Foundation/TSC/notes/vote-2023-07-17.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/GD-NICTA-whitepaper.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-brochure.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-0.0.1-rt-dev.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-1.0.0-rt-dev.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-1.0.4.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-10.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-10.1.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-10.1.1-mcs.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-10.1.1.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-11.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-12.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-12.1.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-13.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-2.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-2.1.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-3.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-3.0.1.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-3.1.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-3.2.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-4.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-5.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-5.1.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-5.2.0-mcs.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-5.2.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-6.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-7.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-8.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-9.0.0-mcs.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-9.0.0.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-9.0.1.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-manual-latest.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_393/Info/Docs/seL4-spec.pdf</loc>
-<lastmod>2024-08-23T07:36:45+00:00</lastmod>
+<lastmod>2024-08-23T07:53:26+00:00</lastmod>
 </url>
 </urlset>