deploy: seL4/website@632a7bc

seL4 · Sep 30, 2024 · 5c4fa0e · 5c4fa0e
1 parent 09682ed
commit 5c4fa0e
Show file tree

Hide file tree

Showing 3 changed files with 134 additions and 134 deletions.
diff --git a/PR_408/news/2024.html b/PR_408/news/2024.html
@@ -118,7 +118,7 @@ <h1>
     <img src="../Foundation/Membership/LOGOS/lewis-clark.svg"
        style="width: 15%; margin-right:20px; float: right;" alt="Lewis & Clark logo">
     </a>
-    "Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL)."
+    Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL).
 </p>
 </div>
 <div class="news-finish"></div>

diff --git a/PR_408/news/index.html b/PR_408/news/index.html
@@ -117,7 +117,7 @@ <h1>
     <img src="../Foundation/Membership/LOGOS/lewis-clark.svg"
        style="width: 15%; margin-right:20px; float: right;" alt="Lewis & Clark logo">
     </a>
-    "Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL)."
+    Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL).
 </p>
 </div>
 <div class="news-finish"></div>