Skip to content

Commit

Permalink
auto-deployed
Browse files Browse the repository at this point in the history
seL4-ci committed Dec 11, 2024
1 parent bb5b814 commit 5279c18
Showing 2 changed files with 236 additions and 236 deletions.
142 changes: 71 additions & 71 deletions About/Performance/index.html
Original file line number Diff line number Diff line change
@@ -115,66 +115,66 @@ <h1>Performance</h1>
<td class="data-table-right">32</td>
<td>A9/i.MX6/Sabre</td>
<td class="data-table-right">1.0 GHz</td>
<td class="data-mean">583</td>
<td class="data-stddev">(13)</td>
<td class="data-mean">316</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">340</td>
<td class="data-stddev">(8)</td>
<td class="data-mean">825</td>
<td class="data-mean">584</td>
<td class="data-stddev">(14)</td>
<td class="data-mean">318</td>
<td class="data-stddev">(1)</td>
<td class="data-mean">343</td>
<td class="data-stddev">(10)</td>
<td class="data-mean">833</td>
<td class="data-stddev">(11)</td>
</tr> <tr>
<td>x86_64</td>
<td class="data-table-right">64</td>
<td>i7-4770/Haswell</td>
<td class="data-table-right">3.4 GHz</td>
<td class="data-mean">1553</td>
<td class="data-stddev">(267)</td>
<td class="data-mean">580</td>
<td class="data-stddev">(15)</td>
<td class="data-mean">596</td>
<td class="data-mean">1595</td>
<td class="data-stddev">(258)</td>
<td class="data-mean">582</td>
<td class="data-stddev">(14)</td>
<td class="data-mean">597</td>
<td class="data-stddev">(15)</td>
<td class="data-mean">1338</td>
<td class="data-stddev">(70)</td>
<td class="data-mean">1251</td>
<td class="data-stddev">(74)</td>
</tr> <tr>
<td>x86_64</td>
<td class="data-table-right">64</td>
<td>i7-6700/Skylake (without meltdown mitigation)</td>
<td class="data-table-right">3.4 GHz</td>
<td class="data-mean">1250</td>
<td class="data-stddev">(201)</td>
<td class="data-mean">380</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">386</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">750</td>
<td class="data-stddev">(83)</td>
<td class="data-mean">1236</td>
<td class="data-stddev">(195)</td>
<td class="data-mean">378</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">385</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">754</td>
<td class="data-stddev">(82)</td>
</tr> <tr>
<td>Armv8a</td>
<td class="data-table-right">64</td>
<td>A57/Tx1/Jetson</td>
<td class="data-table-right">1.9 GHz</td>
<td class="data-mean">664</td>
<td class="data-stddev">(28)</td>
<td class="data-mean">403</td>
<td class="data-stddev">(5)</td>
<td class="data-mean">416</td>
<td class="data-mean">665</td>
<td class="data-stddev">(31)</td>
<td class="data-mean">405</td>
<td class="data-stddev">(5)</td>
<td class="data-mean">920</td>
<td class="data-stddev">(7)</td>
<td class="data-mean">409</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">929</td>
<td class="data-stddev">(3)</td>
</tr> <tr>
<td>RV64IMAC</td>
<td class="data-table-right">64</td>
<td>U54-MC/SiFive Freedom U540/Hifive</td>
<td class="data-table-right">1.5 GHz</td>
<td class="data-mean">983</td>
<td class="data-stddev">(81)</td>
<td class="data-mean">469</td>
<td class="data-stddev">(9)</td>
<td class="data-mean">650</td>
<td class="data-stddev">(85)</td>
<td class="data-mean">1342</td>
<td class="data-stddev">(44)</td>
<td class="data-mean">973</td>
<td class="data-stddev">(82)</td>
<td class="data-mean">468</td>
<td class="data-stddev">(8)</td>
<td class="data-mean">623</td>
<td class="data-stddev">(5)</td>
<td class="data-mean">1361</td>
<td class="data-stddev">(77)</td>
</tr></table>

<h2>MCS</h2>
@@ -193,66 +193,66 @@ <h2>MCS</h2>
<td class="data-table-right">32</td>
<td>A9/i.MX6/Sabre</td>
<td class="data-table-right">1.0 GHz</td>
<td class="data-mean">801</td>
<td class="data-stddev">(18)</td>
<td class="data-mean">323</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">799</td>
<td class="data-stddev">(16)</td>
<td class="data-mean">324</td>
<td class="data-stddev">(6)</td>
<td class="data-mean">363</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">1180</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">1191</td>
<td class="data-stddev">(13)</td>
</tr> <tr>
<td>x86_64</td>
<td class="data-table-right">64</td>
<td>i7-4770/Haswell</td>
<td class="data-table-right">3.4 GHz</td>
<td class="data-mean">1931</td>
<td class="data-mean">1961</td>
<td class="data-stddev">(430)</td>
<td class="data-mean">592</td>
<td class="data-stddev">(11)</td>
<td class="data-mean">601</td>
<td class="data-stddev">(12)</td>
<td class="data-mean">1588</td>
<td class="data-mean">588</td>
<td class="data-stddev">(13)</td>
<td class="data-mean">597</td>
<td class="data-stddev">(12)</td>
<td class="data-mean">1521</td>
<td class="data-stddev">(14)</td>
</tr> <tr>
<td>x86_64</td>
<td class="data-table-right">64</td>
<td>i7-6700/Skylake (without meltdown mitigation)</td>
<td class="data-table-right">3.4 GHz</td>
<td class="data-mean">1657</td>
<td class="data-stddev">(340)</td>
<td class="data-mean">381</td>
<td class="data-mean">1661</td>
<td class="data-stddev">(339)</td>
<td class="data-mean">382</td>
<td class="data-stddev">(2)</td>
<td class="data-mean">410</td>
<td class="data-stddev">(6)</td>
<td class="data-mean">407</td>
<td class="data-stddev">(8)</td>
<td class="data-mean">1056</td>
<td class="data-stddev">(11)</td>
<td class="data-stddev">(12)</td>
</tr> <tr>
<td>Armv8a</td>
<td class="data-table-right">64</td>
<td>A57/Tx1/Jetson</td>
<td class="data-table-right">1.9 GHz</td>
<td class="data-mean">756</td>
<td class="data-stddev">(21)</td>
<td class="data-mean">414</td>
<td class="data-stddev">(6)</td>
<td class="data-mean">445</td>
<td class="data-stddev">(3)</td>
<td class="data-mean">1038</td>
<td class="data-mean">759</td>
<td class="data-stddev">(24)</td>
<td class="data-mean">413</td>
<td class="data-stddev">(0)</td>
<td class="data-mean">428</td>
<td class="data-stddev">(6)</td>
<td class="data-mean">1035</td>
<td class="data-stddev">(11)</td>
</tr> <tr>
<td>RV64IMAC</td>
<td class="data-table-right">64</td>
<td>U54-MC/SiFive Freedom U540/Hifive</td>
<td class="data-table-right">1.5 GHz</td>
<td class="data-mean">2932</td>
<td class="data-stddev">(143)</td>
<td class="data-mean">715</td>
<td class="data-stddev">(82)</td>
<td class="data-mean">903</td>
<td class="data-stddev">(101)</td>
<td class="data-mean">3808</td>
<td class="data-stddev">(134)</td>
<td class="data-mean">2962</td>
<td class="data-stddev">(151)</td>
<td class="data-mean">692</td>
<td class="data-stddev">(72)</td>
<td class="data-mean">859</td>
<td class="data-stddev">(21)</td>
<td class="data-mean">3850</td>
<td class="data-stddev">(142)</td>
</tr></table>

<h2>Compilation Details</h2>
@@ -351,7 +351,7 @@ <h3>MCS</h3>
</tr></table>

<h2>Source Code</h2>
<p>This page was generated on 2024-12-04 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/a47f8b85966e3381885d7540d22acbf4353d2e6c/default.xml">a47f8b85</a>.</p>
<p>This page was generated on 2024-12-11 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/f0ea9b9f785e4dedf7ba8507b6a28ef33e0976dc/default.xml">f0ea9b9f</a>.</p>
<div class="divider"></div>
</div><!-- container -->
</div><!--content-wrap-->
330 changes: 165 additions & 165 deletions sitemap.xml
Original file line number Diff line number Diff line change
@@ -158,662 +158,662 @@
</url>
<url>
<loc>https://sel4.systems/About/seL4-whitepaper.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/200318-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/200826-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/201016-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/210413-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/210609-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/211006-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/2202-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/2204-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/221013-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/2305-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/230928-minutes-signed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Board/Minutes/241009-minutes-unconfirmed.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Governance/seL4_Foundation_Fund_Charter.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Governance/seL4_Foundation_Key_Principles.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Governance/seL4_Foundation_Technical_Charter.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Join/Directed_Fund_Participation_Agreement.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Join/Participation_Agreement_Sample.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2022/seL4-Summit_Useful-Info.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_01_Welcome_June_Andronick.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2022/slides/d1_03_seL4_verification-roadmap_Proofcraft.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_01_Kry10_Secure_Platform_Boyd_Multerer.pdf</loc>
<lastmod>2024-12-04T06:22:45+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_02_Foundation_announcements.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_01_Sebastian_Jester.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_03_Brad_Martin.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_04_Shreekant_Thakkar.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2022/slides/d3_07_Experience_teaching_seL4.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:42+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-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-00-cofer.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-01-gage.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-02-brecknell.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-03-frost.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-04-klein.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-05-mcleod.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-06-kuz.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-07-ahvenj%C3%A4rvi.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-08-parker.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-09-heiser.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-10-guikema.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-11-felmeden.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-12-andronick.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-12-kuz.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day1-13-multerer.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-01-leffler.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-02-furgala.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-03-hussman.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-04-spinale.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-05-velickovic.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-06-hamlin.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-08-vanvossen.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-09-atkins.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-10-podhradsky.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-11-rollins.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-12-mao.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-13-wang.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day2-14-dematos.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day3-03-sebranek.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day3-04-dematos.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2023/slides/day3-05-neises.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/assured-reserve.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/bridging-academia.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/building-commercial.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/camkes-to-microkit.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/cheri-morello.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/cpu-driver.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/doing-nix.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/experience-developing.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/exploring-sel4.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/first-steps.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/foundation-update.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/generating-trustworthy.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/hardware-support.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/inspecta.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/lions-os-practise.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/lions-os.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/multikernel-roadmap.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/pancake.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/panel.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/real-world.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/running-certified.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/rust-support.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/secure-multiserver.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/securing-ros.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/sel4-infrastructure.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/sel4-verification.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/software-defined.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/supporting-container.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/using-model.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/verification-status.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/Summit/2024/slides/welcome.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2020-05-20.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-01-29.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-02-12.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-12-17.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2022-12-16.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2023-09-12.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2024-03-22.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2024-07-25.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/vote-2020-05-21.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/vote-2021-05-27.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/vote-2021-08-18.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/vote-2021-09-29.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/vote-2021-09-30.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/vote-2021-12-16.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/vote-2022-04-14.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/vote-2022-12-15.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/vote-2023-05-30.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Foundation/TSC/notes/vote-2023-07-17.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-brochure.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-0.0.1-rt-dev.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-1.0.0-rt-dev.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-1.0.4.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-10.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-10.1.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-10.1.1-mcs.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-10.1.1.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-11.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-12.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-12.1.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-13.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-2.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-2.1.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-3.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-3.0.1.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-3.1.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-3.2.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-4.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-5.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-5.1.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-5.2.0-mcs.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-5.2.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-6.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-7.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-8.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-9.0.0-mcs.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-9.0.0.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-9.0.1.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-manual-latest.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
<url>
<loc>https://sel4.systems/Info/Docs/seL4-spec.pdf</loc>
<lastmod>2024-12-04T06:22:46+00:00</lastmod>
<lastmod>2024-12-11T03:12:43+00:00</lastmod>
</url>
</urlset>

0 comments on commit 5279c18

Please sign in to comment.