adding proofcraft endorsement + news item (#148)

Signed-off-by: June Andronick <[email protected]>

content/Foundation/Services/home.pml

@@ -178,6 +178,45 @@
 	</ul>
       </td>
     </tr>
+    <tr>
+      <td style="padding:15px">
+        <a href="https://proofcraft.systems">
+        <img src="/Foundation/Membership/LOGOS/proofcraft.svg"
+	  style="width: 200px" alt="Proofcraft">
+	</a>
+      </td>
+      <td>
+	<strong>Proofcraft Pty Ltd</strong><br/>
+
+        Formal verification is what makes seL4 unique. With increasing uptake
+        and adoption, seL4 is evolving, supporting more platforms,
+        architectures, configurations, and features. An increasing number of
+        high assurance systems are built with seL4 as a trustworthy foundation.
+
+	As seL4 code evolves, so must its formal proofs. As more systems are
+	built on seL4, there is an increased need to ensure correct
+	configuration and initialisation, and correctness of critical
+	components.
+
+        Proofcraft is here to help. Founded by the seL4 verification leaders, it
+        offers commercial support, verification projects, training and
+        consulting on formal verification in general, and involving seL4
+        specifically.
+
+	By applying mathematical machine-checked software verification,
+	Proofcraft increases critical software systems' reliability, safety and
+	security, for a verified future.
+
+        <br/>
+	<span class=emph>Proofcraft has received <em>interim endorsement</em> as a Trusted
+	Service Provider for seL4-based systems.</span>
+	<ul>
+	  <li><a href="https://proofcraft.systems">Home page</a></li>
+	  <li>Contact: <a title="[email protected]"
+              href="mailto:[email protected]">[email protected]</a>
+	</ul>
+      </td>
+    </tr>
   </table>
 
   <h2>Training</h2>

content/home.pml

@@ -28,17 +28,17 @@
     <ul>
       <li>
         <strong>
-	  28 Sep 2021: Gernot explains why seL4 is and remains safe
+	  14 Oct 2021: Proofcraft receives interim endorsement as a Trusted Service Provider
         </strong>
       </li>
       <li>
         <strong>
-	  14 Sep 2021: Proofcraft joins the seL4 Foundation
+	  28 Sep 2021: Gernot explains why seL4 is and remains safe
         </strong>
       </li>
       <li>
         <strong>
-	  10 Sep 2021: Xcalibyte webinar by Gernot Heiser on seL4 on Sep 16, 2021
+	  14 Sep 2021: Proofcraft joins the seL4 Foundation
         </strong>
       </li>
       <li style="margin-top:0.2em;list-style-type:none">

content/news/2021.pml

@@ -54,6 +54,31 @@ Older News: <%=reflist%>
 </div>
 -->
 
+<!----------------------------------------------------------->
+<div class="news-item">
+  14 October 2021: Proofcraft receives interim endorsement as a Trusted Service Provider
+</div>
+<div>
+  <p>
+
+   <a href="https://proofcraft.systems">
+     <img src="/Foundation/Membership/LOGOS/proofcraft.svg"
+	  style="width: 20%;  padding-left:10px;  float:right"
+	  alt="Proofcraft logo">
+   </a>
+
+   The seL4 Foundation has awarded <a href="/Foundation/Services/">Interim
+   Endorsement</a> to <a href="https://proofcraft.systems">Proofcraft</a> as a
+   Trusted Service Provider for commercial support, verification projects,
+   training and consulting on formal verification of seL4 and seL4-based
+   systems. More on our <a href="/Foundation/Services/">services and products
+   page</a>.
+
+ </p>
+</div>
+
+
+<!----------------------------------------------------------->
 <div class="news-item">
   28 September 2021: Gernot explains why seL4 is and remains safe
 </div>