From 868fdfe68c51ded01997e79e56889b9154a0e0a3 Mon Sep 17 00:00:00 2001 From: CI Date: Wed, 27 Mar 2024 11:46:03 +0000 Subject: [PATCH] auto-deployed --- About/Performance/index.html | 140 +++++++-------- redirects.json | 2 +- sitemap.xml | 318 +++++++++++++++++------------------ 3 files changed, 230 insertions(+), 230 deletions(-) diff --git a/About/Performance/index.html b/About/Performance/index.html index 3e629e47..f8e2c525 100644 --- a/About/Performance/index.html +++ b/About/Performance/index.html @@ -115,66 +115,66 @@

Performance

32 A9/i.MX6/Sabre 1.0 GHz - 571 - (13) - 318 - (1) - 338 + 568 + (11) + 316 + (2) + 336 (2) - 812 + 811 (7) x86_64 64 i7-4770/Haswell 3.4 GHz - 1659 - (256) - 586 + 1636 + (253) + 579 (12) - 593 + 590 (13) - 1242 - (78) + 1247 + (76) x86_64 64 i7-6700/Skylake (without meltdown mitigation) 3.4 GHz - 1228 - (201) - 384 - (5) - 387 + 1322 + (207) + 382 (3) - 767 - (81) + 389 + (7) + 770 + (83) Armv8a 64 A57/Tx1/Jetson 1.9 GHz - 665 - (36) - 402 - (1) - 415 - (0) - 941 + 668 + (37) + 404 (6) + 418 + (8) + 905 + (15) RV64IMAC 64 U54-MC/SiFive Freedom U540/Hifive 1.5 GHz - 972 - (72) - 492 - (86) - 646 - (76) + 987 + (84) + 516 + (125) + 628 + (7) 1367 - (64) + (72)

MCS

@@ -194,65 +194,65 @@

MCS

A9/i.MX6/Sabre 1.0 GHz 817 - (16) - 323 - (3) - 364 + (17) + 325 + (6) + 363 (2) - 1228 - (16) + 1211 + (15) x86_64 64 i7-4770/Haswell 3.4 GHz - 2030 - (424) - 592 - (20) - 601 - (13) - 1600 + 2037 + (436) + 599 + (19) + 602 + (12) + 1596 (14) x86_64 64 i7-6700/Skylake (without meltdown mitigation) 3.4 GHz - 1685 - (334) - 389 - (3) - 409 - (4) - 1066 - (9) + 1738 + (336) + 388 + (2) + 411 + (5) + 1067 + (6) Armv8a 64 A57/Tx1/Jetson 1.9 GHz - 758 - (27) + 759 + (29) + 433 + (5) 429 - (10) - 449 - (14) - 971 - (17) + (4) + 957 + (12) RV64IMAC 64 U54-MC/SiFive Freedom U540/Hifive 1.5 GHz - 1980 - (80) - 705 - (75) - 862 - (23) - 2585 - (77) + 1964 + (39) + 729 + (114) + 885 + (97) + 2588 + (89)

Compilation Details

@@ -351,7 +351,7 @@

MCS

Source Code

-

This page was generated on 2024-03-26 for sel4bench-manifest 5c05eca2.

+

This page was generated on 2024-03-27 for sel4bench-manifest 014a7f86.

diff --git a/redirects.json b/redirects.json index 6a5d78ad..ab031295 100644 --- a/redirects.json +++ b/redirects.json @@ -1 +1 @@ -{"/news.html":"https://sel4.systems/news/","/Foundation/Summit/abstracts2022.html":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2022.pml":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2023.html":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/abstracts2023.pml":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/cfp.html":"https://sel4.systems/Foundation/Summit/2024/cfp.html","/Foundation/Board/Minutes/home.pml":"https://sel4.systems/Foundation/Board/Minutes/","/Foundation/Board/home.pml":"https://sel4.systems/Foundation/Board/","/Foundation/Services/home.pml":"https://sel4.systems/Foundation/Services/","/Foundation/Support/home.pml":"https://sel4.systems/Foundation/Support/","/Foundation/Jobs/home.pml":"https://sel4.systems/Foundation/Jobs/","/Foundation/Contact/home.pml":"https://sel4.systems/Foundation/Contact/","/Foundation/Membership/home.pml":"https://sel4.systems/Foundation/Membership/","/Foundation/Join/home.pml":"https://sel4.systems/Foundation/Join/","/Foundation/TSC/home.pml":"https://sel4.systems/Foundation/TSC/","/Foundation/Governance/home.pml":"https://sel4.systems/Foundation/Governance/","/Foundation/Summit/2023/home.pml":"https://sel4.systems/Foundation/Summit/2023/","/Foundation/Summit/2022/home.pml":"https://sel4.systems/Foundation/Summit/2022/","/Foundation/Summit/home.pml":"https://sel4.systems/Foundation/Summit/","/Foundation/Trademark/home.pml":"https://sel4.systems/Foundation/Trademark/","/Foundation/home.pml":"https://sel4.systems/Foundation/","/About/Performance/home.pml":"https://sel4.systems/About/Performance/","/About/home.pml":"https://sel4.systems/About/","/About/seL4/index.html":"https://sel4.systems/About/","/Info/Docs/":"https://docs.sel4.systems/Documentation","/Info/FAQ/":"https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html","/Info/home.pml":"https://sel4.systems/Info/","/Use/home.pml":"https://sel4.systems/Use/","/Learn/home.pml":"https://sel4.systems/Learn/","/Contribute/home.pml":"https://sel4.systems/Contribute/","/contact/mailman/":"https://lists.sel4.systems/postorius/lists/","/contact/home.pml":"https://sel4.systems/contact/","/home.pml":"https://sel4.systems/","/About/more-research.html":"https://sel4.systems/Info/more-research.html","/Foundation/Summit/program.html":"https://sel4.systems/Foundation/Summit/2023/program.html"} \ No newline at end of file +{"/news.html":"https://sel4.systems/news/","/Foundation/Summit/abstracts2022.html":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2022.pml":"https://sel4.systems/Foundation/Summit/2022/abstracts2022.html","/Foundation/Summit/abstracts2023.html":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/abstracts2023.pml":"https://sel4.systems/Foundation/Summit/2023/abstracts2023.html","/Foundation/Summit/cfp.html":"https://sel4.systems/Foundation/Summit/2024/cfp.html","/Use/home.pml":"https://sel4.systems/Use/","/About/Performance/home.pml":"https://sel4.systems/About/Performance/","/About/home.pml":"https://sel4.systems/About/","/About/seL4/index.html":"https://sel4.systems/About/","/contact/mailman/":"https://lists.sel4.systems/postorius/lists/","/contact/home.pml":"https://sel4.systems/contact/","/Foundation/Summit/2022/home.pml":"https://sel4.systems/Foundation/Summit/2022/","/Foundation/Summit/2023/home.pml":"https://sel4.systems/Foundation/Summit/2023/","/Foundation/Summit/home.pml":"https://sel4.systems/Foundation/Summit/","/Foundation/Support/home.pml":"https://sel4.systems/Foundation/Support/","/Foundation/Jobs/home.pml":"https://sel4.systems/Foundation/Jobs/","/Foundation/Board/Minutes/home.pml":"https://sel4.systems/Foundation/Board/Minutes/","/Foundation/Board/home.pml":"https://sel4.systems/Foundation/Board/","/Foundation/Trademark/home.pml":"https://sel4.systems/Foundation/Trademark/","/Foundation/Membership/home.pml":"https://sel4.systems/Foundation/Membership/","/Foundation/Contact/home.pml":"https://sel4.systems/Foundation/Contact/","/Foundation/Governance/home.pml":"https://sel4.systems/Foundation/Governance/","/Foundation/TSC/home.pml":"https://sel4.systems/Foundation/TSC/","/Foundation/Services/home.pml":"https://sel4.systems/Foundation/Services/","/Foundation/Join/home.pml":"https://sel4.systems/Foundation/Join/","/Foundation/home.pml":"https://sel4.systems/Foundation/","/Contribute/home.pml":"https://sel4.systems/Contribute/","/Learn/home.pml":"https://sel4.systems/Learn/","/Info/FAQ/":"https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html","/Info/Docs/":"https://docs.sel4.systems/Documentation","/Info/home.pml":"https://sel4.systems/Info/","/home.pml":"https://sel4.systems/","/About/more-research.html":"https://sel4.systems/Info/more-research.html","/Foundation/Summit/program.html":"https://sel4.systems/Foundation/Summit/2023/program.html"} \ No newline at end of file diff --git a/sitemap.xml b/sitemap.xml index ed27cf79..c391508b 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -25,13 +25,13 @@ https://sel4.systems/Foundation/Summit/2022/bids.html -https://sel4.systems/Foundation/Summit/2023/cfp.html +https://sel4.systems/Foundation/Summit/2024/cfp.html https://sel4.systems/Foundation/Summit/2022/cfp.html -https://sel4.systems/Foundation/Summit/2024/cfp.html +https://sel4.systems/Foundation/Summit/2023/cfp.html https://sel4.systems/Foundation/Services/cog.html @@ -46,76 +46,76 @@ https://sel4.systems/Foundation/Services/hc.html -https://sel4.systems/Foundation/Board/Minutes/ +https://sel4.systems/Use/ -https://sel4.systems/Foundation/Board/ +https://sel4.systems/About/Performance/ -https://sel4.systems/Foundation/Services/ +https://sel4.systems/About/ -https://sel4.systems/Foundation/Support/ +https://sel4.systems/contact/ -https://sel4.systems/Foundation/Jobs/ +https://sel4.systems/news/ -https://sel4.systems/Foundation/Contact/ +https://sel4.systems/Foundation/Summit/2024/ -https://sel4.systems/Foundation/Membership/ +https://sel4.systems/Foundation/Summit/2022/ -https://sel4.systems/Foundation/Join/ +https://sel4.systems/Foundation/Summit/2023/ -https://sel4.systems/Foundation/TSC/ +https://sel4.systems/Foundation/Summit/ -https://sel4.systems/Foundation/Governance/ +https://sel4.systems/Foundation/Support/ -https://sel4.systems/Foundation/Summit/2023/ +https://sel4.systems/Foundation/Jobs/ -https://sel4.systems/Foundation/Summit/2022/ +https://sel4.systems/Foundation/Board/Minutes/ -https://sel4.systems/Foundation/Summit/2024/ +https://sel4.systems/Foundation/Board/ -https://sel4.systems/Foundation/Summit/ +https://sel4.systems/Foundation/Trademark/ -https://sel4.systems/Foundation/Trademark/ +https://sel4.systems/Foundation/Membership/ -https://sel4.systems/Foundation/ +https://sel4.systems/Foundation/Contact/ -https://sel4.systems/About/Performance/ +https://sel4.systems/Foundation/Governance/ -https://sel4.systems/About/ +https://sel4.systems/Foundation/TSC/ -https://sel4.systems/Info/ +https://sel4.systems/Foundation/Services/ -https://sel4.systems/Use/ +https://sel4.systems/Foundation/Join/ -https://sel4.systems/Learn/ +https://sel4.systems/Foundation/ https://sel4.systems/Contribute/ -https://sel4.systems/news/ +https://sel4.systems/Learn/ -https://sel4.systems/contact/ +https://sel4.systems/Info/ https://sel4.systems/ @@ -130,538 +130,538 @@ https://sel4.systems/Foundation/Summit/2022/principles.html -https://sel4.systems/Foundation/Summit/2023/program.html +https://sel4.systems/Foundation/Summit/2022/program.html -https://sel4.systems/Foundation/Summit/2022/program.html +https://sel4.systems/Foundation/Summit/2023/program.html https://sel4.systems/Info/FAQ/proof.html -https://sel4.systems/Foundation/Summit/2023/submit.html +https://sel4.systems/Foundation/Summit/2024/submit.html -https://sel4.systems/Foundation/Summit/2024/submit.html +https://sel4.systems/Foundation/Summit/2023/submit.html https://sel4.systems/About/seL4-whitepaper.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/200318-minutes-signed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/200826-minutes-signed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/201016-minutes-signed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/210413-minutes-signed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/210609-minutes-signed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/211006-minutes-signed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/2202-minutes-signed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/2204-minutes-signed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/221013-minutes-signed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/2305-minutes-signed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Board/Minutes/230928-minutes-unconfirmed.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Governance/seL4_Foundation_Fund_Charter.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Governance/seL4_Foundation_Key_Principles.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Governance/seL4_Foundation_Technical_Charter.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Join/Directed_Fund_Participation_Agreement.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Join/Participation_Agreement_Sample.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/seL4-Summit_Useful-Info.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_01_Welcome_June_Andronick.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_02_State_of_seL4-related_research_Gernot_Heiser.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_03_seL4_verification-roadmap_Proofcraft.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_04_Explaining_the_seL4_integrity_theorems_Matt_Brecknell.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_05_The_seL4_Core_Platform_(seL4CP)_Zoltan_Kocsis.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_06_The_seL4_Device_Driver_Framework_(sDDF)_Lucy_Parker.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_07_Multiprocessing_on_seL4_with_verified_kernels_Kent_Mcleod.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_08_Using_QEMU_to_extend_seL4_VirtIO_support_Hannu_Lyytinen.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_09_QEMU_as_prototyping_platform_for_seL4_systems_Axel_Heider.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_10_Porting_U-Boot_drivers_to_seL4_Mark_Jenkinson_&_Stephen_Williams.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_11_fence.t_hardware_support_for_preventing_microarchitectural_timing_channels_Nils_Wistoff.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_01_Kry10_Secure_Platform_Boyd_Multerer.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:47+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_02_Foundation_announcements.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_03_seL4_and_BEAM_a_match_made_in_Erlang_Ihor.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_04_Trustworthy_board_management_controllers_Daniel_Schwyn,_Ben_Fiedler.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_05_Rust_support_in_seL4_userspace_present_and_future_Nick_Spinale.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_06_Early_experiences_proving_the_correctness_of_a_network_stack_implementation_Alain_K%C3%A4gi.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_07_CASE_overview_Cyber_Assured_Systems_Engineering_Darren_Cofer.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_08_A_verified_architecture_for_trustworthy_remote_attestation_Grant_Jurgenson.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_09_FerrOS_Rust-y_unikernels_on_seL4_w_compile-time_assurances_Zack_Pierce.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_10_Make_seL4_an_ASIL-D_certified_system_Yuning_Liang.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_11_seL4_Summit_and_TCCOE_-_an_overview_Renato_Levy.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_01_Sebastian_Jester.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_03_Brad_Martin.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_04_Shreekant_Thakkar.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_01_Overview_seL4_principles,_abstractions_and_use_Gernot_Heiser.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_02_Overview_what's_verified,_what's_not,_and_what_does_it_mean_June_Andronick.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_03_The_seL4_GitHub_test_suite_Gerwin_Klein.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_04_seL4_mainlining_experiences,_challenges,_and_solutions_Robbie.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 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 -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_06_Improving_embedded_DevOps_with_seL4_VMM.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_07_Experience_teaching_seL4.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_08_DornerWorks%E2%80%99_VM_Composer.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_09_seL4_Foundation_overview,_update_and_vision.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-00-cofer.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-01-gage.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-02-brecknell.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-03-frost.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-04-klein.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-05-mcleod.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-06-kuz.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-07-ahvenj%C3%A4rvi.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-08-parker.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-09-heiser.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-10-guikema.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-11-felmeden.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-12-andronick.pdf -2024-03-26T20:45:11+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-12-kuz.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-13-multerer.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-01-leffler.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-02-furgala.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-03-hussman.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-04-spinale.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-05-velickovic.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-06-hamlin.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-08-vanvossen.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-09-atkins.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-10-podhradsky.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-11-rollins.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-12-mao.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-13-wang.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-14-dematos.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day3-03-sebranek.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day3-04-dematos.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day3-05-neises.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2020-05-20.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-01-29.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-02-12.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-12-17.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2022-12-16.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2023-09-12.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2020-05-21.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2021-05-27.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2021-08-18.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2021-09-29.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2021-09-30.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2021-12-16.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2022-04-14.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2022-12-15.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2023-05-30.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2023-07-17.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-brochure.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-0.0.1-rt-dev.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-1.0.0-rt-dev.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-1.0.4.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-10.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-10.1.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-10.1.1-mcs.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-10.1.1.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-11.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-12.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-12.1.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-2.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-2.1.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-3.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-3.0.1.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-3.1.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-3.2.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-4.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-5.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-5.1.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-5.2.0-mcs.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-5.2.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-6.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-7.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-8.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-9.0.0-mcs.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-9.0.0.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-9.0.1.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-manual-latest.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00 https://sel4.systems/Info/Docs/seL4-spec.pdf -2024-03-26T20:45:12+00:00 +2024-03-27T11:44:48+00:00