diff --git a/Foundation/Summit/2024/social-activities.html b/Foundation/Summit/2024/social-activities.html
index 4f7d3f4e..5a342f15 100644
--- a/Foundation/Summit/2024/social-activities.html
+++ b/Foundation/Summit/2024/social-activities.html
@@ -116,26 +116,98 @@ <h3>
 </ul>
 
 <div id="blue-mountains">
-    <h4 style="padding-top:20px">Blue Mountains bush walk</h4>
-    <img src="../../../images/summit/blue-mountains.jpg" style="padding:10px" alt="Blue Mountains" width="250">
-    <p>
-        Gernot plans to take a group on a walk, most likely in the stunning <a href="https://www.visitnsw.com/destinations/blue-mountains">Blue Mountains</a>, which are about a 1.5 hours drive from Sydney. Please contact  <a title="gernot@unsw.edu.au" href="mailto:gernot@sel4.systems">Gernot Heiser</a> for further details.
-    </p>
-    <p>
-        <strong>When: </strong>Sunday 13 Oct 2024
-    </p>
-    <p>
-        Bring:
-    </p>
-    <ul>
-        <li>Hat</li>
-        <li>Sunscreen</li>
-        <li>Water bottle</li>
-        <li>Raincoat (depending on weather)</li>
-    </ul>
-    <p>
-        <strong>Contact: </strong><a title="gernot@sel4.systems" href="mailto:gernot@sel4.systems">Gernot Heiser</a>
-    </p>
+  <h4 style="padding-top:20px">Blue Mountains bush walk</h4>
+  <img src="../../../images/summit/blue-mountains.jpg" style="padding:10px" alt="Blue Mountains" width="250">
+  <p>
+    Gernot plans to take a group on a walk in the
+    stunning <a href="https://www.visitnsw.com/destinations/blue-mountains">Blue
+      Mountains</a>, weather permitting. Please contact  <a title="gernot@unsw.edu.au" href="mailto:gernot@sel4.systems">Gernot Heiser</a> for further details.
+  </p>
+  <p>
+    <strong>When:</strong> Sunday 13 Oct 2024
+  </p>
+  <p>
+    <strong>Cost:</strong> $9.35 for the train, plus similar amount
+    for share of taxi fare.
+  </p>
+  <p>
+    Bring:
+  </p>
+  <ul>
+    <li>Hat</li>
+    <li>Sunscreen</li>
+    <li>Water bottle</li>
+    <li>Raincoat (depending on weather)</li>
+    <li>Credit card (for the train)</li>
+    <li>No special shoes required, sneakers are fine (well-formed
+    track but potentially a bit muddy in places)</li>
+  </ul>
+
+  <iframe src="https://www.google.com/maps/embed?pb=!1m40!1m12!1m3!1d35290.655166327204!2d150.29090457027644!3d-33.729119848144336!2m3!1f0!2f0!3f0!3m2!1i1024!2i768!4f13.1!4m25!3e2!4m5!1s0x6b126c024b41494d%3A0x338f435e43807b54!2sScenic%20World%2C%20Violet%20St%20%26%2C%20Cliff%20Dr%2C%20Katoomba%20NSW%202780!3m2!1d-33.7286138!2d150.3010254!4m5!1s0x6b126ea950f8a875%3A0x61680c4a2226c27!2sFederal%20Pass%20Walking%20Track%2C%20Federal%20Pass%20Walking%20Track%2C%20Blue%20Mountains%20National%20Park%20NSW!3m2!1d-33.732296!2d150.3089569!4m5!1s0x6b126eb03f5facab%3A0xb5cf00c0651bd8f7!2sDardanelles%20Pass%2C%20New%20South%20Wales!3m2!1d-33.7312535!2d150.31675579999998!4m5!1s0x6b126e95e8ab48d5%3A0x8bb1e7d9a34048dd!2sLeura%20Cascades%20Picnic%20Area%2C%20Leura%20NSW!3m2!1d-33.7194375!2d150.32231249999998!5e1!3m2!1sen!2sau!4v1728006742697!5m2!1sen!2sau"
+  width="600" height="450" style="border:0;padding:10px;float:right;"
+  allowfullscreen="" referrerpolicy="no-referrer-when-downgrade"></iframe>
+
+  <p>
+    The plan is to walk
+    from <a href="https://www.scenicworld.com.au">Scenic World</a>
+    down the Furber Steps along Federal Pass (underneath
+    the <a href="https://www.bluemts.com.au/info/thingstodo/threesisters/">Three
+    Sisters</a>), up Amphitheatre Track, past
+    the <a href="https://www.walkmyworld.com/posts/leura-cascades/">Leura
+      Cascades</a> and end up at Leura Cascades picknick area.
+  </p>
+  <p>
+    <strong>Itinerary:</strong>
+  </p>
+  <ul>
+    <li>
+      <strong>08:15</strong> meet at Central Station Platform 5 to
+      take the 8:24 train to Lithgow, arrive Katoomba 10:29.<br/> For
+      those staying at the Summit venue (Potts Point Holiday Inn),
+      King's Cross station is practically next door.
+      Take the 07:54 train to Cronulla (or any train going towards the
+      city, the train after should still be fine if you hurry up), it's three
+      stops to Central.<br/> You can use any credit card to swipe
+      yourself through the gates. At Central follow the signs to
+      Platform 5 (don't go through any swipe gates!)
+    </li>
+    <li>
+      From Katoomba station we'll take the bus or taxis to Scenic World (2.5km).
+    </li>
+    <li>
+      The actual walk is 6km and should take less than two hours walking time
+      (practically it'll be more like three as there are nice views on
+      the way). Total descent (steep but easy track, plus some stairs)
+      is 370m, total ascent (steep-ish but also easy track) is 320m.
+    </li>
+    <li>
+      From Leura Cascades Picnic Area we'll take taxis to Leura
+      Station (or 25' walk if you haven't had enough).
+    </li>
+    <li>
+      Train back to Central departs twice an hour (x:26 and x:41) and
+      takes two hours.
+    </li>
+    <li>
+      Back at Central sometime between 16:30 and 18:30.
+    </li>
+  </ul>
+
+  <p>
+    <strong>Note:</strong>
+    The <a href="https://www.theweathernetwork.com/en/city/au/new-south-wales/katoomba/14-days/">weather
+    forecast</a> from this distance (4
+    October) isn't great, we have to expect rain, but it shouldn't be
+    so bad that we can't go. But keep in mind that the track may be
+    muddy in places, so don't take your best shoes!
+  </p>
+
+  <p>
+    <strong>Important:</strong> Let <a title="gernot@sel4.systems"
+				 href="mailto:gernot@sel4.systems">Gernot</a>
+    know if you're coming so we can make sure we've
+    got everyone when we take the train!
+  </p>
 </div>
 
 <div id="bondi-coogee">
@@ -236,6 +308,7 @@ <h4 style="padding-top:20px">A guided tour of the Maritime Museum</h4>
         <strong>Contact: </strong><a title="peterc@sel4.systems" href="mailto:peterc@sel4.systems">Peter Chubb</a>.
     </p>
 </div>
+
 <div class="divider"></div>
 </div><!-- container -->
 </div><!--content-wrap-->
diff --git a/sitemap.xml b/sitemap.xml
index 2aeba8a7..d888c21b 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -158,530 +158,530 @@
 </url>
 <url>
 <loc>https://sel4.systems/About/seL4-whitepaper.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/200318-minutes-signed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/200826-minutes-signed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/201016-minutes-signed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/210413-minutes-signed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/210609-minutes-signed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/211006-minutes-signed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/2202-minutes-signed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/2204-minutes-signed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/221013-minutes-signed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/2305-minutes-signed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Board/Minutes/230928-minutes-unconfirmed.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Governance/seL4_Foundation_Fund_Charter.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Governance/seL4_Foundation_Key_Principles.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Governance/seL4_Foundation_Technical_Charter.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Join/Directed_Fund_Participation_Agreement.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Join/Participation_Agreement_Sample.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/seL4-Summit_Useful-Info.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_01_Welcome_June_Andronick.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_02_State_of_seL4-related_research_Gernot_Heiser.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_03_seL4_verification-roadmap_Proofcraft.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_04_Explaining_the_seL4_integrity_theorems_Matt_Brecknell.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_05_The_seL4_Core_Platform_(seL4CP)_Zoltan_Kocsis.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_06_The_seL4_Device_Driver_Framework_(sDDF)_Lucy_Parker.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_07_Multiprocessing_on_seL4_with_verified_kernels_Kent_Mcleod.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_08_Using_QEMU_to_extend_seL4_VirtIO_support_Hannu_Lyytinen.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_09_QEMU_as_prototyping_platform_for_seL4_systems_Axel_Heider.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_10_Porting_U-Boot_drivers_to_seL4_Mark_Jenkinson_&amp;_Stephen_Williams.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_11_fence.t_hardware_support_for_preventing_microarchitectural_timing_channels_Nils_Wistoff.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_01_Kry10_Secure_Platform_Boyd_Multerer.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_02_Foundation_announcements.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_03_seL4_and_BEAM_a_match_made_in_Erlang_Ihor.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_04_Trustworthy_board_management_controllers_Daniel_Schwyn,_Ben_Fiedler.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_05_Rust_support_in_seL4_userspace_present_and_future_Nick_Spinale.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_06_Early_experiences_proving_the_correctness_of_a_network_stack_implementation_Alain_K%C3%A4gi.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_07_CASE_overview_Cyber_Assured_Systems_Engineering_Darren_Cofer.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_08_A_verified_architecture_for_trustworthy_remote_attestation_Grant_Jurgenson.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_09_FerrOS_Rust-y_unikernels_on_seL4_w_compile-time_assurances_Zack_Pierce.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_10_Make_seL4_an_ASIL-D_certified_system_Yuning_Liang.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_11_seL4_Summit_and_TCCOE_-_an_overview_Renato_Levy.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_01_Sebastian_Jester.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_03_Brad_Martin.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_04_Shreekant_Thakkar.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d3_01_Overview_seL4_principles,_abstractions_and_use_Gernot_Heiser.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/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-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d3_03_The_seL4_GitHub_test_suite_Gerwin_Klein.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d3_04_seL4_mainlining_experiences,_challenges,_and_solutions_Robbie.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/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-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d3_06_Improving_embedded_DevOps_with_seL4_VMM.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d3_07_Experience_teaching_seL4.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d3_08_DornerWorks%E2%80%99_VM_Composer.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2022/slides/d3_09_seL4_Foundation_overview,_update_and_vision.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-00-cofer.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-01-gage.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-02-brecknell.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-03-frost.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-04-klein.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-05-mcleod.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-06-kuz.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-07-ahvenj%C3%A4rvi.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-08-parker.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-09-heiser.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-10-guikema.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-11-felmeden.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-12-andronick.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-12-kuz.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-13-multerer.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-01-leffler.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-02-furgala.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-03-hussman.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-04-spinale.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-05-velickovic.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-06-hamlin.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-08-vanvossen.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-09-atkins.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-10-podhradsky.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-11-rollins.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-12-mao.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-13-wang.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-14-dematos.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day3-03-sebranek.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day3-04-dematos.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/Summit/2023/slides/day3-05-neises.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2020-05-20.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-01-29.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-02-12.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-12-17.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2022-12-16.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2023-09-12.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2024-03-22.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/vote-2020-05-21.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/vote-2021-05-27.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/vote-2021-08-18.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/vote-2021-09-29.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/vote-2021-09-30.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/vote-2021-12-16.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/vote-2022-04-14.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/vote-2022-12-15.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/vote-2023-05-30.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Foundation/TSC/notes/vote-2023-07-17.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-brochure.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-0.0.1-rt-dev.pdf</loc>
-<lastmod>2024-10-02T07:20:48+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-1.0.0-rt-dev.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-1.0.4.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-10.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-10.1.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-10.1.1-mcs.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-10.1.1.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-11.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-12.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-12.1.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-13.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-2.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-2.1.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-3.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-3.0.1.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-3.1.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-3.2.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-4.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-5.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-5.1.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-5.2.0-mcs.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-5.2.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-6.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-7.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-8.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-9.0.0-mcs.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-9.0.0.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-9.0.1.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-manual-latest.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 <url>
 <loc>https://sel4.systems/Info/Docs/seL4-spec.pdf</loc>
-<lastmod>2024-10-02T07:20:49+00:00</lastmod>
+<lastmod>2024-10-04T06:54:50+00:00</lastmod>
 </url>
 </urlset>