From a5c3f096515197773ca25cdc5b62062820753e11 Mon Sep 17 00:00:00 2001 From: lsf37 Date: Mon, 29 Jul 2024 23:56:30 +0000 Subject: [PATCH] deploy: seL4/website@60a03e50865bc63895c04d4598563f9f1430f2dc --- PR_381/news/2020.html | 199 +++++++++++-------------------- PR_381/sitemap.xml | 264 +++++++++++++++++++++--------------------- 2 files changed, 199 insertions(+), 264 deletions(-) diff --git a/PR_381/news/2020.html b/PR_381/news/2020.html index 220bdd19..6dcae3e9 100644 --- a/PR_381/news/2020.html +++ b/PR_381/news/2020.html @@ -125,31 +125,15 @@

09 Nov 2020: seL4 12.0.0 release
+seL4 logo +

Announcing the releases of seL4, CAmkES and CapDL under the seL4 Foundation. +Below you can find links to release notes with updates to other supporting +projects to come before the end of the year. Versioned Releases:

-

- - seL4 - - - Announcing the releases of seL4, CAmkES and CapDL under the seL4 - Foundation. Below you can find links to release notes with updates - to other supporting projects to come before the end of the year. - - Versioned Releases: -

@@ -178,23 +162,15 @@

22 Jul 2020: Adventium Labs joins the seL4 Foundation!
- -

- - Adventium Labs logo - - - We're happy to announce the newest member of the seL4 Foundation: - Minneapolis-based company Adventium Labs. - - Adventium Labs develops solutions for safe and secure software-intensive - complex systems, with specialties in separation architectures, model-based - system engineering, and mathematical analysis technologies. They are - leveraging these capabilities to extend seL4 into safety and security critical - industries, including medical devices, defense and commercial avionics, and - industrial control. -

+Adventium Labs logo +

We’re happy to announce the newest member of the seL4 Foundation: +Minneapolis-based company Adventium Labs. +Adventium Labs develops solutions for safe and secure software-intensive complex +systems, with specialties in separation architectures, model-based system +engineering, and mathematical analysis technologies. They are leveraging these +capabilities to extend seL4 into safety and security critical industries, +including medical devices, defense and commercial avionics, and industrial +control.

@@ -204,32 +180,20 @@

09 Jun 2020: Functional correctness proof of seL4 RISC-V
+RISC-V logo +

RISC-V (RV64) is the third ISA with verified seL4. The functional correctness +proof of seL4 on the RV64 ISA has completed. Congratulations to the awesome +Proof Engineering Team of the Trustworthy Systems group on achieving this major +milestone for seL4! And many thanks to HENSOLDT Cyber for making it possible.

-

- - RISC-V logo - - - RISC-V (RV64) is the third ISA with verified seL4. The functional - correctness proof of seL4 on the RV64 ISA has - completed. Congratulations to the awesome Proof Engineering Team of - the Trustworthy Systems group on achieving this major milestone for - seL4! And many thanks to HENSOLDT Cyber for making it possible. -

- -

- What we have now is the refinement proof from the seL4 formal spec - to the C implementation, putting RV64 on the same level as x64 in - terms of seL4 verification. The binary verification, which extends - this refinement to the binary code of the kernel is progressing, - stay tuned for more news on that in the foreseeable future. -

+

What we have now is the refinement proof from the seL4 formal spec to the C +implementation, putting RV64 on the same level as x64 in terms of seL4 +verification. The binary verification, which extends this refinement to the +binary code of the kernel is progressing, stay tuned for more news on that in +the foreseeable future.

-

- More on this in this blog - post. -

+

More on this in this blog +post.

@@ -239,33 +203,20 @@

02 Jun 2020: UNSW seL4 teaching videos available
+UNSW logo +Yet another contribution of [UNSW Sydney](https://www.unsw.edu.au) to the seL4 +community: This year Gernot Heiser is making the seL4-related videos from his +UNSW Advanced Operating Systems class freely available. You'll find them at the +[UNSW CSeLearning COMP9242 YouTube +channel](https://www.youtube.com/playlist?list=PLbSaCpDlfd6qLbEsKquVo3--0gwYBmrUV). -

- - UNSW logo - - - Yet another contribution of UNSW - Sydney to the seL4 community: This year Gernot Heiser is making - the seL4-related videos from his UNSW Advanced Operating Systems - class freely available. You'll find them at - the UNSW - CSeLearning COMP9242 YouTube channel. -

- -

- At present there are the first two modules, which provide some - background on microkernels and seL4, and discuss the seL4 API. More - material will show up over the next two months. -

+At present there are the first two modules, which provide some background on +microkernels and seL4, and discuss the seL4 API. More material will show up over +the next two months. -

- The complete course material, including all lecture slides, the - project spec and code, are available, as always, from the COMP9042 web - site. -

+The complete course material, including all lecture slides, the project spec and +code, are available, as always, from the [COMP9042 web +site](https://www.cse.unsw.edu.au/~cs9242/current/).
@@ -303,27 +254,14 @@

09 May 2020: Breakaway Consulting joins the seL4 Foundation!
- -

- - - Breakaway logo - - - We're happy to announce the first new member since the launch of - the seL4 Foundation: Sydney-based company Breakaway Consulting. - - Through Founder and Managing Director Ben Leslie, Breakaway comes - with 20 years of experience in L4 microkernels and systems based on - various L4 kernels. Prior to founding Breakaway, Ben was a student - with what is now the TS Group, and then VP Engineering of Open - Kernel Labs. - - Breakaway offers consulting services on architecture, design and - implementation of seL4-based systems. - -

+Breakaway logo +

We’re happy to announce the first new member since the launch of the seL4 +Foundation: Sydney-based company Breakaway Consulting. +Through Founder and Managing Director Ben Leslie, Breakaway comes with 20 years +of experience in L4 microkernels and systems based on various L4 kernels. Prior +to founding Breakaway, Ben was a student with what is now the TS Group, and then +VP Engineering of Open Kernel Labs. Breakaway offers consulting services on +architecture, design and implementation of seL4-based systems.

@@ -333,37 +271,34 @@

07 Apr 2020: Launch of the seL4 Foundation
- +seL4 Foundation launch

- seL4 foundation launch - - The Trustworthy Systems - group is excited to announce the creation of the seL4 Foundation. Its aim is to - provide a - neutral and independent organisation to ensure the longevity of - seL4, and grow its ecosystem of adopters and contributors. + The Trustworthy Systems group is + excited to announce the creation of the seL4 + Foundation. Its aim is to provide a neutral and independent organisation + to ensure the longevity of seL4, and grow its ecosystem of adopters and + contributors. It has a high-profile Board - consisting of Gernot Heiser (Chair), June Andronick, Gerwin Klein, - John Launchbury, Sascha Kegreiß, Daniel Potts. + consisting of Gernot Heiser (Chair), June Andronick, Gerwin Klein, John + Launchbury, Sascha Kegreiß, Daniel Potts. - It already has a number of members, including major adopters - HENSOLDT Cyber and Ghost Systems, and providers of services for - seL4, Cog Systems and DornerWorks. Please check the membership page for - details and - how to join. + It already has a number of members, including major adopters HENSOLDT Cyber + and Ghost Systems, and providers of services for seL4, Cog Systems and + DornerWorks. Please check the membership + page for details and how to join. - The seL4 Foundation is set up under the Linux Foundation, which - provides a mature and well-known framework. + The seL4 Foundation is set up under the Linux Foundation, which provides a + mature and well-known framework.

More information on the Blog - post about "The seL4 Foundation — What and Why", and in - the press releases from the - Linux Foundation. + href="https://microkerneldude.wordpress.com/2020/04/07/the-sel4-foundation-what-and-why/">Blog + post about "The seL4 Foundation — What and Why", and in the press + releases from the + Linux Foundation.

diff --git a/PR_381/sitemap.xml b/PR_381/sitemap.xml index 8a0a8331..c6ca2086 100644 --- a/PR_381/sitemap.xml +++ b/PR_381/sitemap.xml @@ -152,530 +152,530 @@ https://sel4.github.io/website_pr_hosting/PR_381/About/seL4-whitepaper.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/200318-minutes-signed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/200826-minutes-signed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/201016-minutes-signed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/210413-minutes-signed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/210609-minutes-signed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/211006-minutes-signed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/2202-minutes-signed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/2204-minutes-signed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/221013-minutes-signed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/2305-minutes-signed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Board/Minutes/230928-minutes-unconfirmed.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Governance/seL4_Foundation_Fund_Charter.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Governance/seL4_Foundation_Key_Principles.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Governance/seL4_Foundation_Technical_Charter.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Join/Directed_Fund_Participation_Agreement.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Join/Participation_Agreement_Sample.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/seL4-Summit_Useful-Info.pdf -2024-07-29T23:35:15+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_01_Welcome_June_Andronick.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_02_State_of_seL4-related_research_Gernot_Heiser.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_03_seL4_verification-roadmap_Proofcraft.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_04_Explaining_the_seL4_integrity_theorems_Matt_Brecknell.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_05_The_seL4_Core_Platform_(seL4CP)_Zoltan_Kocsis.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_06_The_seL4_Device_Driver_Framework_(sDDF)_Lucy_Parker.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_07_Multiprocessing_on_seL4_with_verified_kernels_Kent_Mcleod.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_08_Using_QEMU_to_extend_seL4_VirtIO_support_Hannu_Lyytinen.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_09_QEMU_as_prototyping_platform_for_seL4_systems_Axel_Heider.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_10_Porting_U-Boot_drivers_to_seL4_Mark_Jenkinson_&_Stephen_Williams.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d1_11_fence.t_hardware_support_for_preventing_microarchitectural_timing_channels_Nils_Wistoff.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_01_Kry10_Secure_Platform_Boyd_Multerer.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_02_Foundation_announcements.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_03_seL4_and_BEAM_a_match_made_in_Erlang_Ihor.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_04_Trustworthy_board_management_controllers_Daniel_Schwyn,_Ben_Fiedler.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_05_Rust_support_in_seL4_userspace_present_and_future_Nick_Spinale.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_06_Early_experiences_proving_the_correctness_of_a_network_stack_implementation_Alain_K%C3%A4gi.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_07_CASE_overview_Cyber_Assured_Systems_Engineering_Darren_Cofer.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_08_A_verified_architecture_for_trustworthy_remote_attestation_Grant_Jurgenson.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_09_FerrOS_Rust-y_unikernels_on_seL4_w_compile-time_assurances_Zack_Pierce.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:41+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_10_Make_seL4_an_ASIL-D_certified_system_Yuning_Liang.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_11_seL4_Summit_and_TCCOE_-_an_overview_Renato_Levy.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_12_funding_agencies_01_Sebastian_Jester.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_12_funding_agencies_03_Brad_Martin.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d2_12_funding_agencies_04_Shreekant_Thakkar.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d3_01_Overview_seL4_principles,_abstractions_and_use_Gernot_Heiser.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d3_02_Overview_what's_verified,_what's_not,_and_what_does_it_mean_June_Andronick.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d3_03_The_seL4_GitHub_test_suite_Gerwin_Klein.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d3_04_seL4_mainlining_experiences,_challenges,_and_solutions_Robbie.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/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-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d3_06_Improving_embedded_DevOps_with_seL4_VMM.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d3_07_Experience_teaching_seL4.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d3_08_DornerWorks%E2%80%99_VM_Composer.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2022/slides/d3_09_seL4_Foundation_overview,_update_and_vision.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-00-cofer.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-01-gage.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-02-brecknell.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-03-frost.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-04-klein.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-05-mcleod.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-06-kuz.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-07-ahvenj%C3%A4rvi.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-08-parker.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-09-heiser.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-10-guikema.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-11-felmeden.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-12-andronick.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-12-kuz.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day1-13-multerer.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-01-leffler.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-02-furgala.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-03-hussman.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-04-spinale.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-05-velickovic.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-06-hamlin.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-08-vanvossen.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-09-atkins.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-10-podhradsky.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-11-rollins.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-12-mao.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-13-wang.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day2-14-dematos.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day3-03-sebranek.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day3-04-dematos.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/Summit/2023/slides/day3-05-neises.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/tsc-meeting-2020-05-20.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/tsc-meeting-2021-01-29.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/tsc-meeting-2021-02-12.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/tsc-meeting-2021-12-17.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/tsc-meeting-2022-12-16.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/tsc-meeting-2023-09-12.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/tsc-meeting-2024-03-22.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/vote-2020-05-21.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/vote-2021-05-27.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/vote-2021-08-18.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/vote-2021-09-29.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/vote-2021-09-30.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/vote-2021-12-16.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/vote-2022-04-14.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/vote-2022-12-15.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/vote-2023-05-30.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Foundation/TSC/notes/vote-2023-07-17.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/GD-NICTA-whitepaper.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-brochure.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-0.0.1-rt-dev.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-1.0.0-rt-dev.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-1.0.4.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-10.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-10.1.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-10.1.1-mcs.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-10.1.1.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-11.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-12.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-12.1.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-13.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-2.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-2.1.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-3.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-3.0.1.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-3.1.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-3.2.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-4.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-5.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-5.1.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-5.2.0-mcs.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-5.2.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-6.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-7.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-8.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-9.0.0-mcs.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-9.0.0.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-9.0.1.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-manual-latest.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00 https://sel4.github.io/website_pr_hosting/PR_381/Info/Docs/seL4-spec.pdf -2024-07-29T23:35:16+00:00 +2024-07-29T23:55:42+00:00