From 7cb43d9f5ab57f000ec526c880fb9c84b2f753d3 Mon Sep 17 00:00:00 2001 From: CI Date: Mon, 4 Nov 2024 09:08:21 +0000 Subject: [PATCH] auto-deployed --- About/Performance/index.html | 61 ++-- About/index.html | 61 ++-- Contribute/index.html | 61 ++-- Foundation/Board/Minutes/index.html | 61 ++-- Foundation/Board/index.html | 61 ++-- Foundation/Contact/index.html | 61 ++-- Foundation/Governance/index.html | 61 ++-- Foundation/Jobs/index.html | 61 ++-- Foundation/Join/index.html | 61 ++-- Foundation/Membership/index.html | 61 ++-- Foundation/Services/cog.html | 61 ++-- Foundation/Services/dornerworks.html | 61 ++-- Foundation/Services/endorsement.html | 61 ++-- Foundation/Services/hc.html | 61 ++-- Foundation/Services/index.html | 61 ++-- Foundation/Summit/2022/abstracts2022.html | 61 ++-- Foundation/Summit/2022/bids.html | 61 ++-- Foundation/Summit/2022/cfp.html | 61 ++-- Foundation/Summit/2022/index.html | 61 ++-- Foundation/Summit/2022/principles.html | 61 ++-- Foundation/Summit/2022/program.html | 61 ++-- Foundation/Summit/2023/abstracts2023.html | 61 ++-- Foundation/Summit/2023/cfp.html | 61 ++-- Foundation/Summit/2023/index.html | 61 ++-- Foundation/Summit/2023/program.html | 61 ++-- Foundation/Summit/2023/submit.html | 61 ++-- Foundation/Summit/2024/abstracts2024.html | 61 ++-- Foundation/Summit/2024/cfp.html | 61 ++-- Foundation/Summit/2024/index.html | 61 ++-- Foundation/Summit/2024/program.html | 61 ++-- Foundation/Summit/2024/social-activities.html | 61 ++-- Foundation/Summit/2024/submit.html | 61 ++-- Foundation/Summit/index.html | 61 ++-- Foundation/Support/index.html | 61 ++-- Foundation/TSC/index.html | 61 ++-- Foundation/Trademark/index.html | 61 ++-- Foundation/Trademark/logo.html | 61 ++-- Foundation/index.html | 61 ++-- Info/FAQ/proof.html | 61 ++-- Info/Website/index.html | 61 ++-- Info/index.html | 61 ++-- Info/more-research.html | 61 ++-- Learn/index.html | 61 ++-- Use/index.html | 61 ++-- contact/index.html | 61 ++-- index.html | 61 ++-- news/2020.html | 61 ++-- news/2021.html | 61 ++-- news/2022.html | 61 ++-- news/2023.html | 61 ++-- news/2024.html | 61 ++-- news/index.html | 61 ++-- sitemap.xml | 266 +++++++++--------- 53 files changed, 2265 insertions(+), 1173 deletions(-) diff --git a/About/Performance/index.html b/About/Performance/index.html index 4728bfa6..4b008363 100644 --- a/About/Performance/index.html +++ b/About/Performance/index.html @@ -359,35 +359,56 @@

Source Code

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/About/index.html b/About/index.html index ab4868c4..d3077f29 100644 --- a/About/index.html +++ b/About/index.html @@ -193,35 +193,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Contribute/index.html b/Contribute/index.html index 85425504..30b6dbbe 100644 --- a/Contribute/index.html +++ b/Contribute/index.html @@ -135,35 +135,56 @@

Community Support Contributions

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Board/Minutes/index.html b/Foundation/Board/Minutes/index.html index 2cd91ee6..b333a7e9 100644 --- a/Foundation/Board/Minutes/index.html +++ b/Foundation/Board/Minutes/index.html @@ -150,35 +150,56 @@

Unconfirmed Minutes

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Board/index.html b/Foundation/Board/index.html index a43b73bf..42341f64 100644 --- a/Foundation/Board/index.html +++ b/Foundation/Board/index.html @@ -355,35 +355,56 @@

Marketing Committee

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Contact/index.html b/Foundation/Contact/index.html index 55dc0d07..c8585838 100644 --- a/Foundation/Contact/index.html +++ b/Foundation/Contact/index.html @@ -112,35 +112,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Governance/index.html b/Foundation/Governance/index.html index 4556df4c..0e7b9967 100644 --- a/Foundation/Governance/index.html +++ b/Foundation/Governance/index.html @@ -179,35 +179,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Jobs/index.html b/Foundation/Jobs/index.html index a1512f5a..193f885c 100644 --- a/Foundation/Jobs/index.html +++ b/Foundation/Jobs/index.html @@ -404,35 +404,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Join/index.html b/Foundation/Join/index.html index a7d5832d..fa61ee9f 100644 --- a/Foundation/Join/index.html +++ b/Foundation/Join/index.html @@ -274,35 +274,56 @@

Universities and public-sector

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Membership/index.html b/Foundation/Membership/index.html index f601f6cf..e05af703 100644 --- a/Foundation/Membership/index.html +++ b/Foundation/Membership/index.html @@ -362,35 +362,56 @@

Associate Members

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Services/cog.html b/Foundation/Services/cog.html index 09a45c19..6dd05d42 100644 --- a/Foundation/Services/cog.html +++ b/Foundation/Services/cog.html @@ -176,35 +176,56 @@

Cog Systems Services

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Services/dornerworks.html b/Foundation/Services/dornerworks.html index 11cca92b..3779c3bd 100644 --- a/Foundation/Services/dornerworks.html +++ b/Foundation/Services/dornerworks.html @@ -186,35 +186,56 @@

Contact

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Services/endorsement.html b/Foundation/Services/endorsement.html index 09f6c016..a491d0e0 100644 --- a/Foundation/Services/endorsement.html +++ b/Foundation/Services/endorsement.html @@ -291,35 +291,56 @@

Products

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Services/hc.html b/Foundation/Services/hc.html index 2add8739..b7ee246c 100644 --- a/Foundation/Services/hc.html +++ b/Foundation/Services/hc.html @@ -250,35 +250,56 @@

Industries

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Services/index.html b/Foundation/Services/index.html index fb8ba5f7..62ce05fc 100644 --- a/Foundation/Services/index.html +++ b/Foundation/Services/index.html @@ -430,35 +430,56 @@

Products

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2022/abstracts2022.html b/Foundation/Summit/2022/abstracts2022.html index 59399437..d6bd16f9 100644 --- a/Foundation/Summit/2022/abstracts2022.html +++ b/Foundation/Summit/2022/abstracts2022.html @@ -1062,35 +1062,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2022/bids.html b/Foundation/Summit/2022/bids.html index 99e28656..c70bc704 100644 --- a/Foundation/Summit/2022/bids.html +++ b/Foundation/Summit/2022/bids.html @@ -130,35 +130,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2022/cfp.html b/Foundation/Summit/2022/cfp.html index 74943ca9..a88231d0 100644 --- a/Foundation/Summit/2022/cfp.html +++ b/Foundation/Summit/2022/cfp.html @@ -324,35 +324,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2022/index.html b/Foundation/Summit/2022/index.html index 6cec41bf..d3feb042 100644 --- a/Foundation/Summit/2022/index.html +++ b/Foundation/Summit/2022/index.html @@ -567,35 +567,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2022/principles.html b/Foundation/Summit/2022/principles.html index 5072883d..8ad8d532 100644 --- a/Foundation/Summit/2022/principles.html +++ b/Foundation/Summit/2022/principles.html @@ -121,35 +121,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2022/program.html b/Foundation/Summit/2022/program.html index a49a396b..330be858 100644 --- a/Foundation/Summit/2022/program.html +++ b/Foundation/Summit/2022/program.html @@ -608,35 +608,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2023/abstracts2023.html b/Foundation/Summit/2023/abstracts2023.html index 14d259bd..93934338 100644 --- a/Foundation/Summit/2023/abstracts2023.html +++ b/Foundation/Summit/2023/abstracts2023.html @@ -1112,35 +1112,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2023/cfp.html b/Foundation/Summit/2023/cfp.html index b85dbd38..72c8b8cd 100644 --- a/Foundation/Summit/2023/cfp.html +++ b/Foundation/Summit/2023/cfp.html @@ -301,35 +301,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2023/index.html b/Foundation/Summit/2023/index.html index 73770f5b..79cdb3a0 100644 --- a/Foundation/Summit/2023/index.html +++ b/Foundation/Summit/2023/index.html @@ -568,35 +568,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2023/program.html b/Foundation/Summit/2023/program.html index c0607655..d36b6dec 100644 --- a/Foundation/Summit/2023/program.html +++ b/Foundation/Summit/2023/program.html @@ -600,35 +600,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2023/submit.html b/Foundation/Summit/2023/submit.html index 3a844397..596781e8 100644 --- a/Foundation/Summit/2023/submit.html +++ b/Foundation/Summit/2023/submit.html @@ -125,35 +125,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2024/abstracts2024.html b/Foundation/Summit/2024/abstracts2024.html index 4651f7f7..525603ec 100644 --- a/Foundation/Summit/2024/abstracts2024.html +++ b/Foundation/Summit/2024/abstracts2024.html @@ -815,35 +815,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2024/cfp.html b/Foundation/Summit/2024/cfp.html index b1e26f9f..f3b97a81 100644 --- a/Foundation/Summit/2024/cfp.html +++ b/Foundation/Summit/2024/cfp.html @@ -315,35 +315,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2024/index.html b/Foundation/Summit/2024/index.html index 21f148a4..32dd3400 100644 --- a/Foundation/Summit/2024/index.html +++ b/Foundation/Summit/2024/index.html @@ -674,35 +674,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2024/program.html b/Foundation/Summit/2024/program.html index 28da21c4..4ee1618e 100644 --- a/Foundation/Summit/2024/program.html +++ b/Foundation/Summit/2024/program.html @@ -491,35 +491,56 @@

Summit

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2024/social-activities.html b/Foundation/Summit/2024/social-activities.html index 8a4db24e..d387bdcc 100644 --- a/Foundation/Summit/2024/social-activities.html +++ b/Foundation/Summit/2024/social-activities.html @@ -336,35 +336,56 @@

A guided tour of the Maritime Museum

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/2024/submit.html b/Foundation/Summit/2024/submit.html index 63fbb54f..e1405271 100644 --- a/Foundation/Summit/2024/submit.html +++ b/Foundation/Summit/2024/submit.html @@ -127,35 +127,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Summit/index.html b/Foundation/Summit/index.html index 91ee38cb..68bac49f 100644 --- a/Foundation/Summit/index.html +++ b/Foundation/Summit/index.html @@ -118,35 +118,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Support/index.html b/Foundation/Support/index.html index 3998fa20..dd437236 100644 --- a/Foundation/Support/index.html +++ b/Foundation/Support/index.html @@ -160,35 +160,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/TSC/index.html b/Foundation/TSC/index.html index 34c16733..b6c75f1a 100644 --- a/Foundation/TSC/index.html +++ b/Foundation/TSC/index.html @@ -262,35 +262,56 @@

Joining the TSC

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Trademark/index.html b/Foundation/Trademark/index.html index 0ffffef0..c304e84d 100644 --- a/Foundation/Trademark/index.html +++ b/Foundation/Trademark/index.html @@ -298,35 +298,56 @@

Updates

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/Trademark/logo.html b/Foundation/Trademark/logo.html index 60719367..3d1d6c58 100644 --- a/Foundation/Trademark/logo.html +++ b/Foundation/Trademark/logo.html @@ -121,35 +121,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Foundation/index.html b/Foundation/index.html index b4da0951..511b513a 100644 --- a/Foundation/index.html +++ b/Foundation/index.html @@ -183,35 +183,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Info/FAQ/proof.html b/Info/FAQ/proof.html index 1c0c5125..7cc9c9ae 100644 --- a/Info/FAQ/proof.html +++ b/Info/FAQ/proof.html @@ -414,35 +414,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Info/Website/index.html b/Info/Website/index.html index a906aa5e..97736db3 100644 --- a/Info/Website/index.html +++ b/Info/Website/index.html @@ -143,35 +143,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Info/index.html b/Info/index.html index 1f211ba1..d837ef07 100644 --- a/Info/index.html +++ b/Info/index.html @@ -141,35 +141,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Info/more-research.html b/Info/more-research.html index 5e2ee093..767fcd21 100644 --- a/Info/more-research.html +++ b/Info/more-research.html @@ -261,35 +261,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Learn/index.html b/Learn/index.html index 3939f290..33b17963 100644 --- a/Learn/index.html +++ b/Learn/index.html @@ -196,35 +196,56 @@

Courses

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/Use/index.html b/Use/index.html index 47675773..1da3d7ab 100644 --- a/Use/index.html +++ b/Use/index.html @@ -180,35 +180,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/contact/index.html b/contact/index.html index 1f370cd4..8b9ec4e3 100644 --- a/contact/index.html +++ b/contact/index.html @@ -174,35 +174,56 @@

Website Issues

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/index.html b/index.html index 2973db21..a9c8d1bb 100644 --- a/index.html +++ b/index.html @@ -284,35 +284,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/news/2020.html b/news/2020.html index 129ef565..dcae5974 100644 --- a/news/2020.html +++ b/news/2020.html @@ -313,35 +313,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/news/2021.html b/news/2021.html index 9dfc9bca..a0492e76 100644 --- a/news/2021.html +++ b/news/2021.html @@ -1148,35 +1148,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/news/2022.html b/news/2022.html index 008169e2..96eff3e4 100644 --- a/news/2022.html +++ b/news/2022.html @@ -633,35 +633,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/news/2023.html b/news/2023.html index 80e74203..fc94f3e4 100644 --- a/news/2023.html +++ b/news/2023.html @@ -900,35 +900,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/news/2024.html b/news/2024.html index 466680a2..94848ca8 100644 --- a/news/2024.html +++ b/news/2024.html @@ -874,35 +874,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/news/index.html b/news/index.html index 4781f042..1a8d13ba 100644 --- a/news/index.html +++ b/news/index.html @@ -873,35 +873,56 @@

- mastodon icon - youtube icon - linkedin icon + +mastodon icon +youtube icon +linkedin icon +

- Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
- seL4 is a trademark of LF Projects, LLC.
- For trademark usage guidelines, privacy and cookie policies, - and other applicable policies, as well as terms and conditions - governing this web site, please see - www.lfprojects.org - and the trademark guidelines. + + +Copyright © 2024 seL4 Project a Series of LF Projects, LLC.
+seL4 is a trademark of LF Projects, LLC.
+For trademark usage guidelines, privacy and cookie policies, +and other applicable policies, as well as terms and conditions +governing this web site, please see +www.lfprojects.org +and the trademark guidelines. +
diff --git a/sitemap.xml b/sitemap.xml index 8f431589..83a74afb 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -158,534 +158,534 @@ https://sel4.systems/About/seL4-whitepaper.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/200318-minutes-signed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/200826-minutes-signed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/201016-minutes-signed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/210413-minutes-signed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/210609-minutes-signed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/211006-minutes-signed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/2202-minutes-signed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/2204-minutes-signed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/221013-minutes-signed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/2305-minutes-signed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Board/Minutes/230928-minutes-unconfirmed.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Governance/seL4_Foundation_Fund_Charter.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Governance/seL4_Foundation_Key_Principles.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Governance/seL4_Foundation_Technical_Charter.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Join/Directed_Fund_Participation_Agreement.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Join/Participation_Agreement_Sample.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/seL4-Summit_Useful-Info.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_01_Welcome_June_Andronick.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_02_State_of_seL4-related_research_Gernot_Heiser.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_03_seL4_verification-roadmap_Proofcraft.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_04_Explaining_the_seL4_integrity_theorems_Matt_Brecknell.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_05_The_seL4_Core_Platform_(seL4CP)_Zoltan_Kocsis.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_06_The_seL4_Device_Driver_Framework_(sDDF)_Lucy_Parker.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_07_Multiprocessing_on_seL4_with_verified_kernels_Kent_Mcleod.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_08_Using_QEMU_to_extend_seL4_VirtIO_support_Hannu_Lyytinen.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_09_QEMU_as_prototyping_platform_for_seL4_systems_Axel_Heider.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_10_Porting_U-Boot_drivers_to_seL4_Mark_Jenkinson_&_Stephen_Williams.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d1_11_fence.t_hardware_support_for_preventing_microarchitectural_timing_channels_Nils_Wistoff.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_01_Kry10_Secure_Platform_Boyd_Multerer.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_02_Foundation_announcements.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_03_seL4_and_BEAM_a_match_made_in_Erlang_Ihor.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_04_Trustworthy_board_management_controllers_Daniel_Schwyn,_Ben_Fiedler.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_05_Rust_support_in_seL4_userspace_present_and_future_Nick_Spinale.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+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-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_07_CASE_overview_Cyber_Assured_Systems_Engineering_Darren_Cofer.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_08_A_verified_architecture_for_trustworthy_remote_attestation_Grant_Jurgenson.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+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-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_10_Make_seL4_an_ASIL-D_certified_system_Yuning_Liang.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_11_seL4_Summit_and_TCCOE_-_an_overview_Renato_Levy.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_01_Sebastian_Jester.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_03_Brad_Martin.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d2_12_funding_agencies_04_Shreekant_Thakkar.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_01_Overview_seL4_principles,_abstractions_and_use_Gernot_Heiser.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+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-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_03_The_seL4_GitHub_test_suite_Gerwin_Klein.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_04_seL4_mainlining_experiences,_challenges,_and_solutions_Robbie.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+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-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_06_Improving_embedded_DevOps_with_seL4_VMM.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_07_Experience_teaching_seL4.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_08_DornerWorks%E2%80%99_VM_Composer.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2022/slides/d3_09_seL4_Foundation_overview,_update_and_vision.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-00-cofer.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-01-gage.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-02-brecknell.pdf -2024-10-30T10:21:57+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-03-frost.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-04-klein.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-05-mcleod.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:39+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-06-kuz.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-07-ahvenj%C3%A4rvi.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-08-parker.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-09-heiser.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-10-guikema.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-11-felmeden.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-12-andronick.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-12-kuz.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day1-13-multerer.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-01-leffler.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-02-furgala.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-03-hussman.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-04-spinale.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-05-velickovic.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-06-hamlin.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-08-vanvossen.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-09-atkins.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-10-podhradsky.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-11-rollins.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-12-mao.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-13-wang.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day2-14-dematos.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day3-03-sebranek.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day3-04-dematos.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/Summit/2023/slides/day3-05-neises.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2020-05-20.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-01-29.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-02-12.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2021-12-17.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2022-12-16.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2023-09-12.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2024-03-22.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/tsc-meeting-2024-07-25.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2020-05-21.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2021-05-27.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2021-08-18.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2021-09-29.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2021-09-30.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2021-12-16.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2022-04-14.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2022-12-15.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2023-05-30.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Foundation/TSC/notes/vote-2023-07-17.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-brochure.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-0.0.1-rt-dev.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-1.0.0-rt-dev.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-1.0.4.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-10.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-10.1.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-10.1.1-mcs.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-10.1.1.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-11.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-12.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-12.1.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-13.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-2.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-2.1.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-3.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-3.0.1.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-3.1.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-3.2.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-4.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-5.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-5.1.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-5.2.0-mcs.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-5.2.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-6.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-7.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-8.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-9.0.0-mcs.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-9.0.0.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-9.0.1.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-manual-latest.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00 https://sel4.systems/Info/Docs/seL4-spec.pdf -2024-10-30T10:21:58+00:00 +2024-11-04T09:07:40+00:00