Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update some links to foundation website #268

Merged
merged 1 commit into from
Oct 4, 2024
Merged

Update some links to foundation website #268

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion GettingStarted.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -71,7 +71,7 @@ on specifically configured platforms. These claims do not automatically
transfer to other platforms, other seL4 configurations, or custom seL4
versions. Please consult [Frequently Asked
Questions](FrequentlyAskedQuestions), as well as the [proof and
assumptions page](http://sel4.systems/Info/FAQ/proof.pml) for a better
assumptions page](http://sel4.systems/Info/FAQ/proof.html) for a better
understanding of the intersection of verification and seL4.

### Setting up your machine
Expand Down
2 changes: 1 addition & 1 deletion projects/sel4/frequently-asked-questions.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -324,7 +324,7 @@ system is configured.

For a more in-depth description, see the
[proof and assumptions
page](https://sel4.systems/Info/FAQ/proof.pml).
page](https://sel4.systems/Info/FAQ/proof.html).

### How do I leverage seL4's formal proofs?
The seL4 proofs are just
Expand Down
2 changes: 1 addition & 1 deletion projects/sel4/kernel-contribution.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -213,4 +213,4 @@ If you are interested in proof contributions the main things to do are to:

- [Learn](http://proofcraft.org/blog/proof-engineer-reading.html) about the [Isabelle theorem prover](http://isabelle.in.tum.de/).
- Review the [proofs themselves](https://github.com/seL4/l4v/).
- [Contact us](https://sel4.systems/contact/home.pml) to discuss the possibilities.
- [Contact us](https://sel4.systems/contact/) to discuss the possibilities.
2 changes: 1 addition & 1 deletion projects/sel4/verified-configurations.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ currently constituting: ARM, ARM\_HYP, ARM\_MCS, AARCH64, RISCV64, RISCV64\_MCS,

Please consult [Frequently Asked
Questions](/FrequentlyAskedQuestions), as well as the [proof and
assumptions page](http://sel4.systems/Info/FAQ/proof.pml) for a better
assumptions page](http://sel4.systems/Info/FAQ/proof.html) for a better
understanding of the intersection of verification and seL4.

## Examining and Building Verified Configurations
Expand Down