deploy: seL4/website@2be112a

PR_420/About/index.html

@@ -170,7 +170,7 @@ <h1>
   automotive, aviation, infrastructure, medical, and defence. A key
   highlight demonstrating its fit for real-world deployment was in
   the DARPA-funded <a href=
-  "http://trustworthy.systems/projects/TS/SMACCM/">HACMS</a>
+  "https://trustworthy.systems/projects/OLD/SMACCM/">HACMS</a>
   program, where seL4 was used to protect an autonomous helicopter
   against cyber-attacks. TS continues to push the state of the art
   of operating systems through <a href=

PR_420/Learn/index.html

@@ -116,8 +116,7 @@ <h2 id="tutorials">Tutorials</h2>
 <p>
   If you prefer unstructured learning and want to dive in and explore
   on your own then follow the links on the
-  docsite's <a href="https://docs.sel4.systems/GettingStarted.html">Getting
-    Started</a> page.
+  docsite's <a href="https://docs.sel4.systems/Resources">Resources</a> page.
 </p>
 
 <p>

PR_420/news/2021.html

@@ -351,7 +351,7 @@ <h1>
 <div>
 
 <p>
-  <a href="https://trustworthy.systems/projects/TS/SMACCM/">
+  <a href="https://trustworthy.systems/projects/OLD/SMACCM/">
     <img src="../images/smaccmcopter-defcon.jpg" style="width: 50%;  padding-left:10px;  float:right"
       alt="SMACCMcopter at DEF CON" />
   </a>
@@ -361,9 +361,9 @@ <h1>
   to <a href="https://defcon.org/html/defcon-29/dc-29-index.html">DEF&nbsp;CON</a>
   and invited the assembled hacker elite to attack it. The
   SMACCMcopter was the <em>research vehicle</em> of the Air Team at
-  DARPA's <a href="https://www.darpa.mil/program/high-assurance-cyber-military-systems">HACMS</a>
+  DARPA's <a href="https://www.darpa.mil/research/programs/high-assurance-cyber-military-systems">HACMS</a>
   program. The Trustworthy Systems
-  team <a href="https://trustworthy.systems/projects/TS/SMACCM/">worked
+  team <a href="https://trustworthy.systems/projects/OLD/SMACCM/">worked
     with project partners</a> to deploy seL4 and leverage formal
   methods to protect the drone from cyber attacks.
 </p>