Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
  • Loading branch information
lsf37 committed May 19, 2024
1 parent cf6cd80 commit dbaa956
Show file tree
Hide file tree
Showing 374 changed files with 1,551 additions and 76 deletions.
11 changes: 11 additions & 0 deletions PR_350/About/Performance/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/About/Performance/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/About/Performance/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/About/Performance/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/About/Performance/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/About/Performance/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>seL4 benchmarks | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/About/Performance/">
<link rel="canonical" href="https://htmlpreview.github.io/About/Performance/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
11 changes: 11 additions & 0 deletions PR_350/About/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/About/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/About/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/About/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/About/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/About/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>About seL4 | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/About/">
<link rel="canonical" href="https://htmlpreview.github.io/About/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
8 changes: 4 additions & 4 deletions PR_350/About/more-research.html
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://sel4.github.io/website_pr_hosting/PR_350/Info/more-research.html">
<script>location="https://sel4.github.io/website_pr_hosting/PR_350/Info/more-research.html"</script>
<meta http-equiv="refresh" content="0; url=https://sel4.github.io/website_pr_hosting/PR_350/Info/more-research.html">
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Info/more-research.html">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Info/more-research.html"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Info/more-research.html">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://sel4.github.io/website_pr_hosting/PR_350/Info/more-research.html">Click here if you are not redirected.</a>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Info/more-research.html">Click here if you are not redirected.</a>
</html>
Binary file added PR_350/About/seL4-whitepaper.pdf
Binary file not shown.
8 changes: 4 additions & 4 deletions PR_350/About/seL4/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://sel4.github.io/website_pr_hosting/PR_350/About/">
<script>location="https://sel4.github.io/website_pr_hosting/PR_350/About/"</script>
<meta http-equiv="refresh" content="0; url=https://sel4.github.io/website_pr_hosting/PR_350/About/">
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/About/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/About/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/About/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://sel4.github.io/website_pr_hosting/PR_350/About/">Click here if you are not redirected.</a>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/About/">Click here if you are not redirected.</a>
</html>
11 changes: 11 additions & 0 deletions PR_350/Contribute/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Contribute/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Contribute/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Contribute/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Contribute/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/Contribute/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Contribute | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Contribute/">
<link rel="canonical" href="https://htmlpreview.github.io/Contribute/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
Binary file added PR_350/Foundation/Board/Galois-John-s.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/Galois-John.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/Ghost-Dan-s.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/Ghost-Dan.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/HC-Olivier-s.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/HC-Olivier.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/Horizon-Feng-s.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/Horizon-Feng.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/Jump-Matt-s.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/Jump-Matt.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/Li-Ian-s.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/Li-Ian.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
11 changes: 11 additions & 0 deletions PR_350/Foundation/Board/Minutes/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Board/Minutes/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Board/Minutes/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Board/Minutes/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Board/Minutes/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/Foundation/Board/Minutes/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Minutes | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Board/Minutes/">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Board/Minutes/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
Binary file added PR_350/Foundation/Board/NIO-Qiyan-s.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/NIO-Qiyan.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/RTX-David.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/TS-Gernot-s.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/TS-Gernot.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/TS-Gerwin-s.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/TS-Gerwin.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/TS-June-s.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Board/TS-June.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
11 changes: 11 additions & 0 deletions PR_350/Foundation/Board/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Board/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Board/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Board/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Board/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/Foundation/Board/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Governance | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Board/">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Board/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
11 changes: 11 additions & 0 deletions PR_350/Foundation/Contact/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Contact/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Contact/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Contact/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Contact/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/Foundation/Contact/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Contact | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Contact/">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Contact/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
11 changes: 11 additions & 0 deletions PR_350/Foundation/Governance/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Governance/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Governance/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Governance/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Governance/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/Foundation/Governance/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Governance | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Governance/">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Governance/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
Binary file not shown.
Binary file not shown.
Binary file not shown.
11 changes: 11 additions & 0 deletions PR_350/Foundation/Jobs/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Jobs/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Jobs/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Jobs/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Jobs/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/Foundation/Jobs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Jobs About seL4 | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Jobs/">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Jobs/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
Binary file not shown.
Binary file not shown.
11 changes: 11 additions & 0 deletions PR_350/Foundation/Join/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Join/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Join/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Join/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Join/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/Foundation/Join/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Join | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Join/">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Join/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
Binary file added PR_350/Foundation/Membership/LOGOS/Brkawy.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Membership/LOGOS/Cog.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added PR_350/Foundation/Membership/LOGOS/HENSOLDT.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
1 change: 1 addition & 0 deletions PR_350/Foundation/Membership/LOGOS/LICENCE
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
The images in this directory are owned by their respective trademark owners.
Binary file added PR_350/Foundation/Membership/LOGOS/NCSC.png
Binary file added PR_350/Foundation/Membership/LOGOS/TII.jpg
Binary file added PR_350/Foundation/Membership/LOGOS/latticex.png
11 changes: 11 additions & 0 deletions PR_350/Foundation/Membership/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Membership/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Membership/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Membership/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Membership/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/Foundation/Membership/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Membership | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Membership/">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Membership/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
2 changes: 1 addition & 1 deletion PR_350/Foundation/Services/cog.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Cog | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Services/cog.html">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Services/cog.html">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
2 changes: 1 addition & 1 deletion PR_350/Foundation/Services/dornerworks.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>DornerWorks | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Services/dornerworks.html">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Services/dornerworks.html">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
2 changes: 1 addition & 1 deletion PR_350/Foundation/Services/endorsement.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Endorsement | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Services/endorsement.html">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Services/endorsement.html">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
2 changes: 1 addition & 1 deletion PR_350/Foundation/Services/hc.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>HENSOLDT Cyber | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Services/hc.html">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Services/hc.html">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
11 changes: 11 additions & 0 deletions PR_350/Foundation/Services/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Services/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Services/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Services/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Services/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/Foundation/Services/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Commercial Support | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Services/">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Services/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
2 changes: 1 addition & 1 deletion PR_350/Foundation/Summit/2022/abstracts2022.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Summit abstracts | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Summit/2022/abstracts2022.html">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Summit/2022/abstracts2022.html">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
2 changes: 1 addition & 1 deletion PR_350/Foundation/Summit/2022/bids.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Summit | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Summit/2022/bids.html">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Summit/2022/bids.html">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
2 changes: 1 addition & 1 deletion PR_350/Foundation/Summit/2022/cfp.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>CFP | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Summit/2022/cfp.html">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Summit/2022/cfp.html">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
11 changes: 11 additions & 0 deletions PR_350/Foundation/Summit/2022/home.pml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<!DOCTYPE html>
<html lang="en-US">
<meta charset="utf-8">
<title>Redirecting&hellip;</title>
<link rel="canonical" href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Summit/2022/">
<script>location="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Summit/2022/"</script>
<meta http-equiv="refresh" content="0; url=https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Summit/2022/">
<meta name="robots" content="noindex">
<h1>Redirecting&hellip;</h1>
<a href="https://htmlpreview.github.io/website_pr_hosting/PR_350/Foundation/Summit/2022/">Click here if you are not redirected.</a>
</html>
2 changes: 1 addition & 1 deletion PR_350/Foundation/Summit/2022/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Summit | seL4</title>
<meta name="author" content="seL4 Foundation" />
<link rel="canonical" href="https://sel4.github.io/Foundation/Summit/2022/">
<link rel="canonical" href="https://htmlpreview.github.io/Foundation/Summit/2022/">
<link href=/website_pr_hosting/PR_350/css/bootstrap.min.css rel="stylesheet">
<link href=/website_pr_hosting/PR_350/css/sel4.css rel="stylesheet">

Expand Down
Loading

0 comments on commit dbaa956

Please sign in to comment.