- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Mon Jan 29 09:18:28 2024 +0100 258381c245
diff --git a/processes/code-review.html b/processes/code-review.html
index 18d008202c..8c8b2e7f1c 100644
--- a/processes/code-review.html
+++ b/processes/code-review.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -450,7 +450,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Wed Jul 28 11:02:39 2021 +1000 4e9d4ab1f5
diff --git a/processes/conduct.html b/processes/conduct.html
index acadb5190a..065e59ebbd 100644
--- a/processes/conduct.html
+++ b/processes/conduct.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -301,7 +301,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Wed Mar 23 12:19:26 2022 +1100 f160c38c73
diff --git a/processes/contributing.html b/processes/contributing.html
index 174a3db6fc..6b161254ba 100644
--- a/processes/contributing.html
+++ b/processes/contributing.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -321,7 +321,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47
diff --git a/processes/docs-contributing.html b/processes/docs-contributing.html
index a44b23b0cc..cc2c63e2a1 100644
--- a/processes/docs-contributing.html
+++ b/processes/docs-contributing.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -265,7 +265,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Wed Mar 23 12:37:08 2022 +1100 3bcc34568c
diff --git a/processes/emails.html b/processes/emails.html
index 5875a7f783..20b16b9a1f 100644
--- a/processes/emails.html
+++ b/processes/emails.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -269,7 +269,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Wed Mar 23 12:19:26 2022 +1100 f160c38c73
diff --git a/processes/git-conventions.html b/processes/git-conventions.html
index 5698206e19..07d0804ba1 100644
--- a/processes/git-conventions.html
+++ b/processes/git-conventions.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -313,7 +313,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Sat Jan 8 09:23:51 2022 +1100 12bd2f5a6d
diff --git a/processes/index.html b/processes/index.html
index 5eb1bc70f6..517d2b7303 100644
--- a/processes/index.html
+++ b/processes/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -318,8 +318,10 @@
Where we work on things
The devel mailing list, seL4 Mattermost and seL4 Discourse are for general development discussions.
-
Discussions about proposed changes can reach a point where an RFC is created.
-Further discussion then happens on the RFC site.
+
Discussions about proposed changes can reach a point where an
+RFC is created. Further discussion then happens on
+the RFC pull requests in the
+RFC repository.
GitHub issue and Pull-request comment sections can also be used.
@@ -333,11 +335,14 @@
Contact
Mailing lists: For email-based discussions, for asking for help, reporting issues or general seL4 communication.
We have introduced the request for comments (RFC) process for the following
-reasons:
+
The seL4 foundation uses the request for comments (RFC) process to
-
to allow the community to discuss design changes in seL4,
-
to gather valuable feedback from the community
-on changes the Foundation is considering,
-
to allow members of the seL4 community
-to get support and approval
-to propose and implement their own changes
-to the seL4 ecosystem,
-
to ensure that all changes
-made to core components of the seL4 ecosystem
-or that have wide and varying impacts on users of seL4
-undergo rigorous review, and
-
to ensure large changes are well advertised
-and can viewed publicly
-before contributors commit to implementing them.
+
allow the community to discuss design changes in seL4,
+
gather valuable feedback from the community on changes the foundation is
+considering,
+
allow members of the seL4 community to get support and approval to propose and
+implement their own changes to the seL4 ecosystem,
+
ensure that all changes made to core components of the seL4 ecosystem or that
+have wide and varying impacts on users of seL4 undergo rigorous review, and
+
ensure large changes are well advertised and can viewed publicly before
+contributors commit to implementing them.
-
This helps the seL4 community ensure that such changes are made
-with the goal of the best outcome for the most users of seL4
-whilst maintaining the seL4 guarantees of isolation and security.
-
-
To see all current RFCs, go check out the RFC dashboard.
-
-
You can also stay notified
-of new RFCs and updates to RFCs
-by joining the RFC announcement mailing list.
-You can then use you Atlassian Cloud account
-to keep track of and contribute to discussion
-on each of the RFCs.
-
-
When to follow the RFC process
-
-
All substantial changes to the seL4 ecosystem
-must be made using the RFC process.
-Substantial changes are those that that
-impact a large number of users of seL4
-in a way that may require them to change their own projects,
-changes the operation of toolchain used to build projects on seL4,
-changes the underlying model of one or more software components
-within the ecosystem.
-
-
Examples of changes that must follow the RFC process include:
-
-
-
Removing support for a platform
-
Changing the versioning system used for libraries
-
Adding a new major API feature to the kernel
-
Adding a new operation/invocation to an existing capability type, or removing one
-
Adding or removing a capability or object type
-
-
-
Changes such as bug-fixes, refactorings, optimisations,
-or those that do not affect the functional requirements
-of the kernel, supporting tooling, infrastructure,
-or system components
-can be made through the existing pull-request process
-on the relevant repository.
-
-
Examples of changes that should not involve the RFC process include:
-
-
-
Fixing a typo in existing code,
-
Clarifying code or documentation,
-
Adding a driver to an existing layer of the system.
-
-
-
If you try to make a substantial change
-via the pull-request process,
-your request is likely to be rejected
-and you will be asked to use the RFC process
-to propose your change.
Before proposing a new RFC
-it is important to determine whether it will be supported
-and what possible options exist
-to solve the particular problem.
This part of the process should help you determine
-whether your idea has already been proposed,
-whether or not it fits with the near-term goals of the ecosystem,
-and how to propose it with the best chances of acceptance.
-
-
You should make sure that during this discussion
-you address each of the sections in the template below.
-This will ensure that your proposal is well prepared
-before it is formally presented as an RFC
-and will speed up much of the RFC process.
-
-
Once you have the support of some existing seL4 developers
-they can help you take your idea
-through the rest of the RFC process.
-
-
After discussion, RFCs will ultimately be approved, postponed, or rejected by
-a decision of the Technical Steering Committee of the seL4 Foundation.
-
-
Proposing an new RFC
-
-
An RFC exists in the form of an RFC issue
-on the RFC project of the seL4 Jira instance.
-Anyone who has an Atlassian Cloud account
-is able to create an RFC.
-
-
You should check the postponed RFCs
-to see if your idea has already been proposed
-but was previously postponed.
-You can adopt a postponed RFC
-which will return it to the proposal stage
-and you will become responsible for it.
-
-
Once you create an RFC,
-you are the one responsible for maintaining it
-throughout the approval process.
-You will be able to modify it
-in response to discussion and feedback
-up until the point it is either approved or rejected.
-
-
Every RFC should use the template below,
-omitting sections that are not relevant for the RFC.
-
-
The RFC template
-
-
You should consider each section of the RFC template in depth
-before determining that it is not relevant.
-
-
You will probably want to work on this offline
-during the initial discussion
-so that you can paste the final document
-into the issue description
-when you create the RFC issue.
-
-
h1. Summary
-
-One paragraph explanation of the change.
-
-h1. Motivation
-
-- Why are we doing this?
-- What use cases does it support?
-- What is the expected outcome?
-
-h1. Guide-level explanation
-
-Explain the change or feature as you would to another user of seL4.
-
-This section should clearly outline new named concepts, provide some examples of how it will be used, and explain how users should *think* about it.
-
-You should describe the change in a manner that is clear to both existing seL4 users and to new users of the ecosystem.
-
-Any changes that existing users need to make either as a result of the RFC or such that the can use the feature should be clearly stated here.
-
-h1. Reference-level explanation
-
-Explain the change or feature as you would to the maintainers of the seL4 ecosystem.
-
-This section should provide sufficient technical detail to guide any related implementation and ongoing maintenance.
-
-This section should clearly describe how this change will interact with the existing ecosystem, describe particular complex examples that may complicate the implementation, and describe how the implementation should support the examples in the previous section.
-
-h1. Drawbacks
-
-Outline any arguments that have been made against this proposal and discuss why we may not want to accept it. Also discuss any complications that may arise from the proposed change that may require specific consideration.
-
-h1. Rationale and alternatives
-
-- Why is this design the best in the space of possible designs?
-- What other designs have been considered and what is the rationale for not choosing them?
-- What is the impact of not doing this?
-
-h1. Prior art
-
-Discuss prior art, both the good and the bad, in relation to this proposal. A few examples of what this can include are:
-
-- For ecosystem proposals: Does this feature exist in similar systems and what experience have their community had?
-- For community proposals: Is this done by some other community and what were their experiences with it?
-- What lessons can we learn from what other communities have done here?
-- Are there any published papers or great posts that discuss this? If you have some relevant papers to refer to, this can serve as a more detailed theoretical background.
-
-This section is intended to encourage you as an author to think about the lessons from other systems, provide readers of your RFC with a fuller picture. If there is no prior art, that is fine - your ideas are interesting to us whether they are brand new or if it is an adaptation from other systems.
-
-Note that while precedent set by other systems is some motivation, it does not on its own motivate an RFC.
-
-h1. Unresolved questions
-
-- What needs to be resolved in further discussion before the RFC is approved?
-- What needs to resolved during the implementation of this RFC?
-- What related questions are beyond the scope of this RFC that should be addressed beyond its implementation?
-
-
-
Getting an RFC approved
-
-
After you propose an RFC, it is likely to undergo several rounds of changes
-in response to the discussion on Jira. Anyone is allowed to engage in
-this discussion.
-
-
Once the discussion phase is concluded, for instance because consensus has
-been reached or it has become clear that there will not be a consensus, the
-Technical Steering Committee of the seL4 Foundation will make a decision on
-the RFC.
-
-
The Steering Committee will either give stage 1 approval, fully approve,
-postpone, defer, require changes, or reject the RFC. When this occurs, a
-disposition will be added to the RFC outlining the reason for the particular
-ruling. If the discussion of an RFC has been particularly long, a summary
-comment will be made on the RFC before the given ruling is made.
-
-
Postponement of an RFC
-
-
When an RFC has a moderate amount of support
-and is generally accepted as a good idea
-but lacks someone to shepherd it
-to the point where it can be accepted
-it is postponed.
-
-
This indicates that the RFC may be revived in the future
-when someone can be found to take it through
-the remainder of the approval process.
-Anyone may adopt a postponed RFC
-if they wish to see it approved
-and want to rally support for it.
-
-
Stage 1 approval
+
This helps the seL4 community ensure that such changes are made with the goal of
+the best outcome for the most users of seL4 without compromising seL4’s
+high-assurance properties of functional correctness, isolation, and security.
-
In some cases, an RFC may require an implementation or very detailed design to
-properly judge its merits. When the TSC decides that an RFC is likely to get
-accepted if a convincing implementation can be shown, the TSC may give stage 1
-approval for this RFC. Stage 1 approval means a candidate implementation should
-go ahead, but will need to be reviewed again, e.g. for performance and
-usability, before it can be fully accepted.
+
The Process
-
Implementation of an approved RFC
+
See the seL4 RFC repository for how the process works, when to use it and when
+not to use it.
-
Once the Steering Committee approves an RFC,
-it is marked as active.
-They may then assign it to a contributor for implementation.
-Issues for the implementation of the necessary components
-will be created and linked to the RFC.
+
When you are ready to propose a new RFC, please follow the template
+instructions in the RFC repository.
-
The implementation of an RFC
-may lead to the resolution of many issues
-that were present in the RFC
-when it was approved.
-As such, the RFC may be subject to further changes
-throughout this part of the process.
-These changes should not change
-the overall goals or design of the RFC
-but should merely resolve issues
-or extend the design to cope
-with unanticipated corner cases.
+
Approved and proposed RFCs
-
Deferment of an approved RFC
+
The approved RFCs are collected and rendered in the seL4 RFC book.
-
There may not be sufficient resources
-to implement an RFC when it is approved
-or resources may be diverted
-from the implementation of an RFC
-when higher priority work arises.
-In either case, the RFC will be deferred.
-A deferred RFC is lower priority than an active one
-and will generally see no progress on its implementation.
+
You can also browse the currently proposed RFCs and their discussions.
-
Anyone can request that a deferred RFC be given priority
-be demonstrating increased demand or urgency for its
-implementation, volunteering to work on the implementation,
-or find funding for the Foundation to implement it.
@@ -556,10 +281,10 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
- Page last updated: Mon Oct 23 20:37:42 2023 +1100 f1fe82bf8d
+ Page last updated: Thu Jun 27 10:18:23 2024 -0400 95a7b109d3
diff --git a/processes/roles.html b/processes/roles.html
index 4cdd83c5e8..5e3797e02e 100644
--- a/processes/roles.html
+++ b/processes/roles.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -262,7 +262,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Thu Aug 31 17:23:26 2023 +0100 6eb462f624
diff --git a/processes/style-guide.html b/processes/style-guide.html
index 7962dc8834..756da0e562 100644
--- a/processes/style-guide.html
+++ b/processes/style-guide.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -563,7 +563,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Sun Apr 28 12:05:07 2024 +1000 a15224327a
diff --git a/processes/test-status.html b/processes/test-status.html
index 4663a5fe9b..4eb596687e 100644
--- a/processes/test-status.html
+++ b/processes/test-status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -564,7 +564,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Thu Feb 29 10:41:42 2024 +0100 f8b92b6673
diff --git a/processes/websites.html b/processes/websites.html
index 6969b41167..477d32a19c 100644
--- a/processes/websites.html
+++ b/processes/websites.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -221,12 +221,13 @@
is the maintainer of platform specific kernel and library code for that
platform
@@ -345,19 +347,16 @@
Becoming a platform owner
help to keep the verification passing for verified configurations (only
relevant for a few platforms, but might increase in the future)
-
handle bug reports for that platform on github and devel mailing list (has
-access to github issues and/or the new sel4 Jira at sel4.atlassian.net for
-this if desired)
+
handle bug reports for that platform on GitHub and devel mailing list
handle support requests/questions for that platform (if low-key, ideally
publicly on the mailing list, but also paid support etc for bigger things)
review and help merge PRs for that platform (relevant PRs should have one
approving review from the platform owner if possible)
providing binaries for bootloader and load instructions would be desirable
-
if other development on the master branch has platform impact (from
-contributions or D61), it should preferably include relevant platform code
-updates already, but might need consultation with the platform owner to get
-done, i.e. the basic expectation would be “you break it, you fix it”, but
-people sometimes might need help.
+
if other development on the master branch has platform impact, it should
+preferably include relevant platform code updates already, but might need
+consultation with the platform owner to get done, i.e. the basic expectation
+would be “you break it, you fix it”, but people sometimes might need help.
the foundation advertises platform owners on the website, and platform owners
would link back to the foundation.
@@ -808,10 +807,10 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
- Page last updated: Fri Mar 15 15:07:51 2024 +0100 983ea6eebc
+ Page last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/projects/sel4/porting.html b/projects/sel4/porting.html
index 0a8121aac1..d0dc59a3f4 100644
--- a/projects/sel4/porting.html
+++ b/projects/sel4/porting.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -960,7 +960,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Tue Mar 26 09:35:10 2024 +0100 58fc2e87fc
diff --git a/projects/sel4/status.html b/projects/sel4/status.html
index 269b2426df..aa4cbbeb3d 100644
--- a/projects/sel4/status.html
+++ b/projects/sel4/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -2090,7 +2090,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/projects/sel4/verified-configurations.html b/projects/sel4/verified-configurations.html
index d6a478ee59..c8809e4925 100644
--- a/projects/sel4/verified-configurations.html
+++ b/projects/sel4/verified-configurations.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1033,7 +1033,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Fri Mar 29 17:22:39 2024 -0400 e06f0ae5ad
diff --git a/projects/sel4_tools/index.html b/projects/sel4_tools/index.html
index 76d1cb1d8e..9fd4500566 100644
--- a/projects/sel4_tools/index.html
+++ b/projects/sel4_tools/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -444,7 +444,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4bench/index.html b/projects/sel4bench/index.html
index b8315e9fbf..c788cc41d3 100644
--- a/projects/sel4bench/index.html
+++ b/projects/sel4bench/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -534,7 +534,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4bench/status.html b/projects/sel4bench/status.html
index bc7e04eff7..528a884eb5 100644
--- a/projects/sel4bench/status.html
+++ b/projects/sel4bench/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -653,7 +653,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/projects/sel4runtime/index.html b/projects/sel4runtime/index.html
index d7209cb855..35c859bed6 100644
--- a/projects/sel4runtime/index.html
+++ b/projects/sel4runtime/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -552,7 +552,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/sel4test/index.html b/projects/sel4test/index.html
index e863c18047..95dfef4140 100644
--- a/projects/sel4test/index.html
+++ b/projects/sel4test/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -570,7 +570,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Thu Nov 11 11:50:06 2021 +1100 5fc78c1c47
diff --git a/projects/sel4test/status.html b/projects/sel4test/status.html
index 7ea9adf53d..e285e6dd60 100644
--- a/projects/sel4test/status.html
+++ b/projects/sel4test/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -631,7 +631,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/projects/sel4webserver/index.html b/projects/sel4webserver/index.html
index 7e3b7be37b..58294dbaf6 100644
--- a/projects/sel4webserver/index.html
+++ b/projects/sel4webserver/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -714,7 +714,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/user_libs/index.html b/projects/user_libs/index.html
index b64932e953..6915627925 100644
--- a/projects/user_libs/index.html
+++ b/projects/user_libs/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -466,7 +466,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Mon Nov 8 11:45:32 2021 +1100 7936038ee0
diff --git a/projects/user_libs/status.html b/projects/user_libs/status.html
index 70a667b932..9d206e247f 100644
--- a/projects/user_libs/status.html
+++ b/projects/user_libs/status.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -1602,7 +1602,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html
index e1ca136dfc..b040a01e8a 100644
--- a/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html
+++ b/projects/virtualization/docs/api/libsel4vm_arm_guest_vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -487,7 +487,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_boot.html b/projects/virtualization/docs/api/libsel4vm_boot.html
index 56b3675d43..25b97efa68 100644
--- a/projects/virtualization/docs/api/libsel4vm_boot.html
+++ b/projects/virtualization/docs/api/libsel4vm_boot.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -512,7 +512,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html b/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html
index 00962c265a..adbb710a2e 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_arm_context.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -582,7 +582,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_iospace.html b/projects/virtualization/docs/api/libsel4vm_guest_iospace.html
index 2317bd4d4a..2c25e6d7e5 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_iospace.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_iospace.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -463,7 +463,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html b/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html
index e8b090242e..8aa4522652 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_irq_controller.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -533,7 +533,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory.html b/projects/virtualization/docs/api/libsel4vm_guest_memory.html
index 97c443903d..13529f314a 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_memory.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_memory.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -641,7 +641,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html b/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html
index 3479d334dc..937a85d8e5 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_memory_helpers.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -465,7 +465,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_ram.html b/projects/virtualization/docs/api/libsel4vm_guest_ram.html
index 0225aec805..d276da59c6 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_ram.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_ram.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -658,7 +658,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html b/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html
index 1e17a7cd94..f80736be9e 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_vcpu_fault.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -658,7 +658,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_guest_vm.html
index 1bfa419080..1980791f54 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_vm.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -682,7 +682,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html b/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html
index 1c111ad5ce..fe4a4bba68 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_vm_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -594,7 +594,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html b/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html
index b6aa8c5977..1fccd5ef09 100644
--- a/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html
+++ b/projects/virtualization/docs/api/libsel4vm_guest_x86_context.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -582,7 +582,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html b/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html
index 8ff6065d42..e53036154b 100644
--- a/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html
+++ b/projects/virtualization/docs/api/libsel4vm_x86_guest_vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -479,7 +479,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_ioports.html b/projects/virtualization/docs/api/libsel4vm_x86_ioports.html
index b04c0a4c2a..c94d221e30 100644
--- a/projects/virtualization/docs/api/libsel4vm_x86_ioports.html
+++ b/projects/virtualization/docs/api/libsel4vm_x86_ioports.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -511,7 +511,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html b/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html
index 81ab84afb3..dabab22d29 100644
--- a/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html
+++ b/projects/virtualization/docs/api/libsel4vm_x86_vmcall.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -465,7 +465,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html
index a0de05af96..ce0589ed74 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_ac_device.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -476,7 +476,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html
index c2c05443eb..a145c50209 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_generic_forward_device.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -489,7 +489,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html
index 1a607a08f1..90fef6ed38 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_boot_init.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -489,7 +489,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html
index b9da4422a8..97adfb04d3 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_reboot.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -549,7 +549,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html
index 6771773672..9f1b555f5a 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_fault.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -486,7 +486,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html
index 131fdad909..a4baf36ce9 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_guest_vcpu_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -462,7 +462,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html
index 9a2f68b95b..e50109dd3d 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vpci.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -489,7 +489,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html
index c94a8737e0..6699127a2a 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_arm_vusb.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -490,7 +490,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html
index a88c9cb718..6f4755153b 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_cross_vm_connection.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -535,7 +535,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html
index 3fd039a1fc..e4b4cac6a2 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_device.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -549,7 +549,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html
index cb131d8235..2a1ed90ed0 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_device_utils.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -508,7 +508,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html
index 1525be449a..9fd2165ef4 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_image.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -532,7 +532,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html
index c8b6b6844d..6656e865f9 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_memory_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -584,7 +584,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html
index 22ccddf2c2..6432b7f64f 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_guest_vcpu_util.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -462,7 +462,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html
index 57fc03ba5b..f4aaa78eeb 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_ioports.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -594,7 +594,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html
index e153704203..d4a1f38929 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -590,7 +590,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html
index b2d0e2979b..b44d7c6cbd 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_pci_helper.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -784,7 +784,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html
index 1d273ef90d..bf8d4e9810 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_con.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -495,7 +495,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html
index 992a94f749..8d0101e2db 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_virtio_net.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -517,7 +517,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html
index 05993fcb11..642de99a77 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_acpi.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -461,7 +461,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html
index 5a05d41390..9e8aad996f 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_guest_boot_init.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -491,7 +491,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html
index 1de5e9fa5c..6f1527b406 100644
--- a/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html
+++ b/projects/virtualization/docs/api/libsel4vmmplatsupport_x86_vmm_pci_helper.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -509,7 +509,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated:
diff --git a/projects/virtualization/docs/index.html b/projects/virtualization/docs/index.html
index c6d3aa9510..a5caf8afcd 100644
--- a/projects/virtualization/docs/index.html
+++ b/projects/virtualization/docs/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -479,7 +479,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/virtualization/index.html b/projects/virtualization/index.html
index ac7a54e3ec..a32b957ae6 100644
--- a/projects/virtualization/index.html
+++ b/projects/virtualization/index.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -421,7 +421,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Thu Mar 24 14:19:51 2022 +1100 461e5e0896
diff --git a/projects/virtualization/libsel4vm.html b/projects/virtualization/libsel4vm.html
index 730de0e97a..73f14c8ab8 100644
--- a/projects/virtualization/libsel4vm.html
+++ b/projects/virtualization/libsel4vm.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -489,7 +489,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/projects/virtualization/libsel4vmmplatsupport.html b/projects/virtualization/libsel4vmmplatsupport.html
index 1f88f86978..4c433853ea 100644
--- a/projects/virtualization/libsel4vmmplatsupport.html
+++ b/projects/virtualization/libsel4vmmplatsupport.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -515,7 +515,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/releases/camkes.html b/releases/camkes.html
index e623aed4ad..407aafd0a6 100644
--- a/releases/camkes.html
+++ b/releases/camkes.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -195,7 +195,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Mon Nov 30 09:25:37 2020 +1100 977ed44f17
diff --git a/releases/camkes/camkes-2.0.0.html b/releases/camkes/camkes-2.0.0.html
index 82c2e52fe0..3ef66c7b6a 100644
--- a/releases/camkes/camkes-2.0.0.html
+++ b/releases/camkes/camkes-2.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -399,7 +399,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-2.1.0.html b/releases/camkes/camkes-2.1.0.html
index f9a7faedbe..0d5a841f2b 100644
--- a/releases/camkes/camkes-2.1.0.html
+++ b/releases/camkes/camkes-2.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -431,7 +431,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-2.2.0.html b/releases/camkes/camkes-2.2.0.html
index e8a3bdfec3..a716e86b7f 100644
--- a/releases/camkes/camkes-2.2.0.html
+++ b/releases/camkes/camkes-2.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -411,7 +411,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-2.3.0.html b/releases/camkes/camkes-2.3.0.html
index 5bbdc7a6ea..0a33bc1164 100644
--- a/releases/camkes/camkes-2.3.0.html
+++ b/releases/camkes/camkes-2.3.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -407,7 +407,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-2.3.1.html b/releases/camkes/camkes-2.3.1.html
index 7c4032d52a..5614ce6447 100644
--- a/releases/camkes/camkes-2.3.1.html
+++ b/releases/camkes/camkes-2.3.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -399,7 +399,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.0.0.html b/releases/camkes/camkes-3.0.0.html
index fc6aa706c2..9d928b0d92 100644
--- a/releases/camkes/camkes-3.0.0.html
+++ b/releases/camkes/camkes-3.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -535,7 +535,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.1.0.html b/releases/camkes/camkes-3.1.0.html
index 12a88b1c13..926766ff80 100644
--- a/releases/camkes/camkes-3.1.0.html
+++ b/releases/camkes/camkes-3.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -438,7 +438,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.10.0.html b/releases/camkes/camkes-3.10.0.html
index 7394df8c2e..4b416eb244 100644
--- a/releases/camkes/camkes-3.10.0.html
+++ b/releases/camkes/camkes-3.10.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -438,7 +438,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.2.0.html b/releases/camkes/camkes-3.2.0.html
index 0942ef4848..9662cf86a3 100644
--- a/releases/camkes/camkes-3.2.0.html
+++ b/releases/camkes/camkes-3.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -481,7 +481,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.3.0.html b/releases/camkes/camkes-3.3.0.html
index 89e510e435..894723ebc7 100644
--- a/releases/camkes/camkes-3.3.0.html
+++ b/releases/camkes/camkes-3.3.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -429,7 +429,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.4.0.html b/releases/camkes/camkes-3.4.0.html
index cac6d48f57..ab8777eb3d 100644
--- a/releases/camkes/camkes-3.4.0.html
+++ b/releases/camkes/camkes-3.4.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -412,7 +412,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.5.0.html b/releases/camkes/camkes-3.5.0.html
index 24066e6dba..fccbb75d5f 100644
--- a/releases/camkes/camkes-3.5.0.html
+++ b/releases/camkes/camkes-3.5.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -422,7 +422,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.6.0.html b/releases/camkes/camkes-3.6.0.html
index cd1da92aaa..31455a82b1 100644
--- a/releases/camkes/camkes-3.6.0.html
+++ b/releases/camkes/camkes-3.6.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -439,7 +439,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.7.0.html b/releases/camkes/camkes-3.7.0.html
index 3ff927cfd6..7ac518c0d4 100644
--- a/releases/camkes/camkes-3.7.0.html
+++ b/releases/camkes/camkes-3.7.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -410,7 +410,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.8.0.html b/releases/camkes/camkes-3.8.0.html
index 57b84bc0af..7be369a168 100644
--- a/releases/camkes/camkes-3.8.0.html
+++ b/releases/camkes/camkes-3.8.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -461,7 +461,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/camkes/camkes-3.9.0.html b/releases/camkes/camkes-3.9.0.html
index ef322bdf9a..9864f7ca64 100644
--- a/releases/camkes/camkes-3.9.0.html
+++ b/releases/camkes/camkes-3.9.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -543,7 +543,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/capdl/0.1.0.html b/releases/capdl/0.1.0.html
index 2f0c739355..cab468475e 100644
--- a/releases/capdl/0.1.0.html
+++ b/releases/capdl/0.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -348,7 +348,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/capdl/0.2.0.html b/releases/capdl/0.2.0.html
index f31a2b63b0..e078e3dbb2 100644
--- a/releases/capdl/0.2.0.html
+++ b/releases/capdl/0.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -322,7 +322,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/capdl/0.2.1.html b/releases/capdl/0.2.1.html
index bc262c67e8..bdb16123d7 100644
--- a/releases/capdl/0.2.1.html
+++ b/releases/capdl/0.2.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -275,7 +275,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4.html b/releases/sel4.html
index 84162d06e1..4acced87a7 100644
--- a/releases/sel4.html
+++ b/releases/sel4.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -474,7 +474,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
Page last updated: Tue Jan 19 10:29:50 2021 +1100 90e3da7d86
diff --git a/releases/sel4/0.0.1-rt-dev.html b/releases/sel4/0.0.1-rt-dev.html
index 35c346a852..c1da3d552e 100644
--- a/releases/sel4/0.0.1-rt-dev.html
+++ b/releases/sel4/0.0.1-rt-dev.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -688,7 +688,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/1.0.0-rt-dev.html b/releases/sel4/1.0.0-rt-dev.html
index c2828498f8..37e39e9143 100644
--- a/releases/sel4/1.0.0-rt-dev.html
+++ b/releases/sel4/1.0.0-rt-dev.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -756,7 +756,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/10.0.0.html b/releases/sel4/10.0.0.html
index 98b27f4055..122b4b07d1 100644
--- a/releases/sel4/10.0.0.html
+++ b/releases/sel4/10.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -620,7 +620,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/10.1.0.html b/releases/sel4/10.1.0.html
index 813c541899..4c9fd4835f 100644
--- a/releases/sel4/10.1.0.html
+++ b/releases/sel4/10.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -624,7 +624,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/10.1.1-mcs.html b/releases/sel4/10.1.1-mcs.html
index 3afa828000..29d74ffe76 100644
--- a/releases/sel4/10.1.1-mcs.html
+++ b/releases/sel4/10.1.1-mcs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -814,7 +814,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/10.1.1.html b/releases/sel4/10.1.1.html
index 155ab27f41..e3547d52a3 100644
--- a/releases/sel4/10.1.1.html
+++ b/releases/sel4/10.1.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -605,7 +605,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/11.0.0.html b/releases/sel4/11.0.0.html
index 51547e2890..d9fed082c7 100644
--- a/releases/sel4/11.0.0.html
+++ b/releases/sel4/11.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -716,7 +716,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/12.0.0.html b/releases/sel4/12.0.0.html
index 6af0e675b8..6db78062bf 100644
--- a/releases/sel4/12.0.0.html
+++ b/releases/sel4/12.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -868,7 +868,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/12.1.0.html b/releases/sel4/12.1.0.html
index f2ff4977cd..d13253ea87 100644
--- a/releases/sel4/12.1.0.html
+++ b/releases/sel4/12.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -744,7 +744,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/2.0.0.html b/releases/sel4/2.0.0.html
index 56aa571027..933873cc38 100644
--- a/releases/sel4/2.0.0.html
+++ b/releases/sel4/2.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -739,7 +739,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/2.1.0.html b/releases/sel4/2.1.0.html
index 4feb9f349d..da74f1c5e1 100644
--- a/releases/sel4/2.1.0.html
+++ b/releases/sel4/2.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -618,7 +618,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/3.0.0.html b/releases/sel4/3.0.0.html
index 02ec4edc63..3b55175ee0 100644
--- a/releases/sel4/3.0.0.html
+++ b/releases/sel4/3.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -702,7 +702,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/3.0.1.html b/releases/sel4/3.0.1.html
index 9e7b4f349e..7b7459ccc8 100644
--- a/releases/sel4/3.0.1.html
+++ b/releases/sel4/3.0.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -605,7 +605,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/3.1.0.html b/releases/sel4/3.1.0.html
index fda64dc786..e8d54d8eec 100644
--- a/releases/sel4/3.1.0.html
+++ b/releases/sel4/3.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -625,7 +625,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/3.2.0.html b/releases/sel4/3.2.0.html
index 7b9bc8286d..1b1afba5b9 100644
--- a/releases/sel4/3.2.0.html
+++ b/releases/sel4/3.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -628,7 +628,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/4.0.0.html b/releases/sel4/4.0.0.html
index 39b27b4963..d7df388136 100644
--- a/releases/sel4/4.0.0.html
+++ b/releases/sel4/4.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -677,7 +677,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/5.0.0.html b/releases/sel4/5.0.0.html
index 1a5e9bb43a..e4381e9405 100644
--- a/releases/sel4/5.0.0.html
+++ b/releases/sel4/5.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -638,7 +638,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/5.1.0.html b/releases/sel4/5.1.0.html
index 7079f3b1f0..72092c435d 100644
--- a/releases/sel4/5.1.0.html
+++ b/releases/sel4/5.1.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -618,7 +618,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/5.2.0-mcs.html b/releases/sel4/5.2.0-mcs.html
index fa26ae54fb..d7a1e1574a 100644
--- a/releases/sel4/5.2.0-mcs.html
+++ b/releases/sel4/5.2.0-mcs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -818,7 +818,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/5.2.0.html b/releases/sel4/5.2.0.html
index 85b6ad570c..6a38c414cb 100644
--- a/releases/sel4/5.2.0.html
+++ b/releases/sel4/5.2.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -619,7 +619,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/6.0.0.html b/releases/sel4/6.0.0.html
index 15b52e176e..cafda573c8 100644
--- a/releases/sel4/6.0.0.html
+++ b/releases/sel4/6.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -660,7 +660,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/7.0.0.html b/releases/sel4/7.0.0.html
index 3ae740624a..0a2cbc3752 100644
--- a/releases/sel4/7.0.0.html
+++ b/releases/sel4/7.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -650,7 +650,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/8.0.0.html b/releases/sel4/8.0.0.html
index aba09cd376..2979665c2c 100644
--- a/releases/sel4/8.0.0.html
+++ b/releases/sel4/8.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -628,7 +628,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/9.0.0-mcs.html b/releases/sel4/9.0.0-mcs.html
index cc67131678..463353151d 100644
--- a/releases/sel4/9.0.0-mcs.html
+++ b/releases/sel4/9.0.0-mcs.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -838,7 +838,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/9.0.0.html b/releases/sel4/9.0.0.html
index 0cbaad1038..727842126f 100644
--- a/releases/sel4/9.0.0.html
+++ b/releases/sel4/9.0.0.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -640,7 +640,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/releases/sel4/9.0.1.html b/releases/sel4/9.0.1.html
index 8fe537b2df..6d32080c05 100644
--- a/releases/sel4/9.0.1.html
+++ b/releases/sel4/9.0.1.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -614,7 +614,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8
diff --git a/sitemap.html b/sitemap.html
index 8cc95bbf76..d1b55a1e73 100644
--- a/sitemap.html
+++ b/sitemap.html
@@ -3,7 +3,7 @@
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
-
+
@@ -921,7 +921,7 @@
seL4 docs
- Site last updated: Thu Jun 27 10:13:45 2024 -0400 1ad0a7a9aa
+ Site last updated: Thu Jun 27 10:18:23 2024 -0400 484c5888f8