diff --git a/PR_361/Foundation/Summit/2024/index.html b/PR_361/Foundation/Summit/2024/index.html
index 63726650..cfa5bf75 100644
--- a/PR_361/Foundation/Summit/2024/index.html
+++ b/PR_361/Foundation/Summit/2024/index.html
@@ -396,11 +396,11 @@ <h3 id="summit-sponsors">
     <div class="sponsor-pic">
       <a href="https://unsw.edu.au">
         <img src="../../Membership/LOGOS/UNSW.svg" style="width: 150px"
-            alt="UNSW logo">
+            alt="UNSW Sydney logo">
       </a>
     </div>
     <div class="sponsor-name">
-      UNSW
+      UNSW Sydney
     </div>
     <div class="sponsor-info">Bronze sponsor
     </div>
diff --git a/PR_361/news/2024.html b/PR_361/news/2024.html
index 8c1c27d8..e3ef2be7 100644
--- a/PR_361/news/2024.html
+++ b/PR_361/news/2024.html
@@ -142,15 +142,15 @@ <h1>
     2024</a>.
   </p>
   <p>
-    seL4 was created by the <a href="https://trustworthy.systems/">Trustworthy Systems (TS)</a> team, which is now part of the <a href="https://unsw.edu.au">University of New South Wales (UNSW)</a>, a founding member of the seL4 Foundation.
+    seL4 was created by the <a href="https://trustworthy.systems/">Trustworthy Systems (TS)</a> team, which is now part of the <a href="https://unsw.edu.au">UNSW Sydney</a>, a founding member of the seL4 Foundation.
   </p>
   <p>
+    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>
-    The team uses rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees. Their aims are to:
   </p>
   <ul>
     <li>shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and</li>
@@ -161,7 +161,7 @@ <h1>
   </p>
   <p>
    The <a href="../Foundation/Summit/2024">seL4 Summit 2024</a> will take place in
-   Sydney, the hometown of <a href="https://trustworthy.systems/">Trustworthy Systems</a> and <a href="https://unsw.edu.au">University of New South Wales (UNSW)</a>.
+   Sydney, the hometown of <a href="https://trustworthy.systems/">Trustworthy Systems</a> and <a href="https://unsw.edu.au">UNSW Sydney</a>.
   </p>
   <p>
     See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
diff --git a/PR_361/news/index.html b/PR_361/news/index.html
index 2d8fd7d5..c7f2c6ab 100644
--- a/PR_361/news/index.html
+++ b/PR_361/news/index.html
@@ -141,15 +141,15 @@ <h1>
     2024</a>.
   </p>
   <p>
-    seL4 was created by the <a href="https://trustworthy.systems/">Trustworthy Systems (TS)</a> team, which is now part of the <a href="https://unsw.edu.au">University of New South Wales (UNSW)</a>, a founding member of the seL4 Foundation.
+    seL4 was created by the <a href="https://trustworthy.systems/">Trustworthy Systems (TS)</a> team, which is now part of the <a href="https://unsw.edu.au">UNSW Sydney</a>, a founding member of the seL4 Foundation.
   </p>
   <p>
+    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>
-    The team uses rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees. Their aims are to:
   </p>
   <ul>
     <li>shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and</li>
@@ -160,7 +160,7 @@ <h1>
   </p>
   <p>
    The <a href="../Foundation/Summit/2024">seL4 Summit 2024</a> will take place in
-   Sydney, the hometown of <a href="https://trustworthy.systems/">Trustworthy Systems</a> and <a href="https://unsw.edu.au">University of New South Wales (UNSW)</a>.
+   Sydney, the hometown of <a href="https://trustworthy.systems/">Trustworthy Systems</a> and <a href="https://unsw.edu.au">UNSW Sydney</a>.
   </p>
   <p>
     See <a href="https://events.linuxfoundation.org/sel4-summit/sponsor/">here</a> if
diff --git a/PR_361/sitemap.xml b/PR_361/sitemap.xml
index dfe18090..a909b1dc 100644
--- a/PR_361/sitemap.xml
+++ b/PR_361/sitemap.xml
@@ -146,526 +146,526 @@
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/About/seL4-whitepaper.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/200318-minutes-signed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/200826-minutes-signed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/201016-minutes-signed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/210413-minutes-signed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/210609-minutes-signed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/211006-minutes-signed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/2202-minutes-signed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/2204-minutes-signed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/221013-minutes-signed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/2305-minutes-signed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Board/Minutes/230928-minutes-unconfirmed.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Governance/seL4_Foundation_Fund_Charter.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Governance/seL4_Foundation_Key_Principles.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Governance/seL4_Foundation_Technical_Charter.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Join/Directed_Fund_Participation_Agreement.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Join/Participation_Agreement_Sample.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/seL4-Summit_Useful-Info.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_01_Welcome_June_Andronick.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_02_State_of_seL4-related_research_Gernot_Heiser.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_03_seL4_verification-roadmap_Proofcraft.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_04_Explaining_the_seL4_integrity_theorems_Matt_Brecknell.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_05_The_seL4_Core_Platform_(seL4CP)_Zoltan_Kocsis.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_06_The_seL4_Device_Driver_Framework_(sDDF)_Lucy_Parker.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_07_Multiprocessing_on_seL4_with_verified_kernels_Kent_Mcleod.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_08_Using_QEMU_to_extend_seL4_VirtIO_support_Hannu_Lyytinen.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_09_QEMU_as_prototyping_platform_for_seL4_systems_Axel_Heider.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_10_Porting_U-Boot_drivers_to_seL4_Mark_Jenkinson_&amp;_Stephen_Williams.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d1_11_fence.t_hardware_support_for_preventing_microarchitectural_timing_channels_Nils_Wistoff.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_01_Kry10_Secure_Platform_Boyd_Multerer.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_02_Foundation_announcements.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_03_seL4_and_BEAM_a_match_made_in_Erlang_Ihor.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_04_Trustworthy_board_management_controllers_Daniel_Schwyn,_Ben_Fiedler.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_05_Rust_support_in_seL4_userspace_present_and_future_Nick_Spinale.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_06_Early_experiences_proving_the_correctness_of_a_network_stack_implementation_Alain_K%C3%A4gi.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_07_CASE_overview_Cyber_Assured_Systems_Engineering_Darren_Cofer.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_08_A_verified_architecture_for_trustworthy_remote_attestation_Grant_Jurgenson.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_09_FerrOS_Rust-y_unikernels_on_seL4_w_compile-time_assurances_Zack_Pierce.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_10_Make_seL4_an_ASIL-D_certified_system_Yuning_Liang.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_11_seL4_Summit_and_TCCOE_-_an_overview_Renato_Levy.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_12_funding_agencies_01_Sebastian_Jester.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_12_funding_agencies_03_Brad_Martin.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d2_12_funding_agencies_04_Shreekant_Thakkar.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d3_01_Overview_seL4_principles,_abstractions_and_use_Gernot_Heiser.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/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-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d3_03_The_seL4_GitHub_test_suite_Gerwin_Klein.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d3_04_seL4_mainlining_experiences,_challenges,_and_solutions_Robbie.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/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-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d3_06_Improving_embedded_DevOps_with_seL4_VMM.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d3_07_Experience_teaching_seL4.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d3_08_DornerWorks%E2%80%99_VM_Composer.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2022/slides/d3_09_seL4_Foundation_overview,_update_and_vision.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-00-cofer.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-01-gage.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-02-brecknell.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-03-frost.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-04-klein.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-05-mcleod.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-06-kuz.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-07-ahvenj%C3%A4rvi.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:17+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-08-parker.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-09-heiser.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-10-guikema.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-11-felmeden.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-12-andronick.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-12-kuz.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day1-13-multerer.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-01-leffler.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-02-furgala.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-03-hussman.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-04-spinale.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-05-velickovic.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-06-hamlin.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-08-vanvossen.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-09-atkins.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-10-podhradsky.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-11-rollins.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-12-mao.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-13-wang.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day2-14-dematos.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day3-03-sebranek.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day3-04-dematos.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/Summit/2023/slides/day3-05-neises.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/tsc-meeting-2020-05-20.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/tsc-meeting-2021-01-29.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/tsc-meeting-2021-02-12.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/tsc-meeting-2021-12-17.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/tsc-meeting-2022-12-16.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/tsc-meeting-2023-09-12.pdf</loc>
-<lastmod>2024-05-31T01:54:18+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/tsc-meeting-2024-03-22.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/vote-2020-05-21.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/vote-2021-05-27.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/vote-2021-08-18.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/vote-2021-09-29.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/vote-2021-09-30.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/vote-2021-12-16.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/vote-2022-04-14.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/vote-2022-12-15.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/vote-2023-05-30.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Foundation/TSC/notes/vote-2023-07-17.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/GD-NICTA-whitepaper.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-brochure.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-0.0.1-rt-dev.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-1.0.0-rt-dev.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-1.0.4.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-10.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-10.1.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-10.1.1-mcs.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-10.1.1.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-11.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-12.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-12.1.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-2.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-2.1.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-3.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-3.0.1.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-3.1.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-3.2.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-4.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-5.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-5.1.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-5.2.0-mcs.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-5.2.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-6.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-7.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-8.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-9.0.0-mcs.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-9.0.0.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-9.0.1.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-manual-latest.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.github.io/website_pr_hosting/PR_361/Info/Docs/seL4-spec.pdf</loc>
-<lastmod>2024-05-31T01:54:19+00:00</lastmod>
+<lastmod>2024-05-31T03:05:18+00:00</lastmod>
 </url>
 </urlset>